Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/typechecker/util.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/typechecker/util.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2925, Tue Mar 3 22:00:11 2015 UTC revision 2926, Tue Mar 3 22:38:29 2015 UTC
# Line 33  Line 33 
33    
34      val instantiate : Types.scheme -> (Types.meta_var list * Types.ty)      val instantiate : Types.scheme -> (Types.meta_var list * Types.ty)
35    
36        val equalDiff : Types.diff * Types.diff -> bool
37      val equalDim : Types.dim * Types.dim -> bool      val equalDim : Types.dim * Types.dim -> bool
38    
39    end = struct    end = struct
# Line 249  Line 250 
250            end            end
251      end      end
252    
253      (* rebind equalDiff without patch-list argument *)
254        val equalDiff = fn (diff1, diff2) => equalDiff (ref [], diff1, diff2)
255    
256    (* rebind equalDim without patch-list argument *)    (* rebind equalDim without patch-list argument *)
257      val equalDim = fn (d1, d2) => equalDim(ref [], d1, d2)      val equalDim = fn (d1, d2) => equalDim(ref [], d1, d2)
258    

Legend:
Removed from v.2925  
changed lines
  Added in v.2926

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0