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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/high-il/rewrite-ein.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/high-il/rewrite-ein.sml

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

revision 2398, Sat Jul 6 23:07:40 2013 UTC revision 2399, Sun Jul 7 02:22:44 2013 UTC
# Line 6  Line 6 
6    
7  structure Rewrite : sig  structure Rewrite : sig
8    
9    
10    
11  (* should be  (* should be
12      val evalEinApp : Ein.ein * HighIL.var list -> (Ein.ein * HighIL.var list) option      val evalEinApp : Ein.ein * HighIL.var list -> (Ein.ein * HighIL.var list) option
13  *)  *)
14      datatype arg     (* datatype arg
15        = Var of Var.var        = Var of Var.var
16        | App of Ein.ein * Var.var list        | App of Ein.ein * Var.var list
17    
18    
19      val evalEinApp : Ein.ein * arg list -> Ein.ein * Var.var list      val evalEinApp : Ein.ein * arg list -> Ein.ein * Var.var list
20    *)
21    
22    
23    
24    end = struct    end = struct
25    
26    structure IL = HighIL
27    
28    datatype arg
29    = Var of IL.var list
30    | App of Ein.ein * IL.var list
31    
32    (*val evalEinApp : Ein.ein * arg list -> Ein.ein * IL.var list
33    *)
34    
35    
36      structure VarMap = Var.Map      structure VarMap = Var.Map
37    
38      fun mkAdd es = (      fun mkAdd es = (

Legend:
Removed from v.2398  
changed lines
  Added in v.2399

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