Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/flint/flintutil.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/flint/flintutil.sml

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

revision 489, Tue Nov 23 12:55:00 1999 UTC revision 504, Tue Dec 7 18:31:05 1999 UTC
# Line 22  Line 22 
22     * free variables remain unchanged except for the renaming specified     * free variables remain unchanged except for the renaming specified
23     * in the first (types) and second (values) argument *)     * in the first (types) and second (values) argument *)
24    val copy : (FLINT.tvar * FLINT.tyc) list ->    val copy : (FLINT.tvar * FLINT.tyc) list ->
25               FLINT.lvar IntBinaryMap.map ->               FLINT.lvar IntRedBlackMap.map ->
26               FLINT.lexp -> FLINT.lexp               FLINT.lexp -> FLINT.lexp
27    val copyfdec : FLINT.fundec -> FLINT.fundec    val copyfdec : FLINT.fundec -> FLINT.fundec
28    
29    val freevars : FLINT.lexp -> IntBinarySet.set    val freevars : FLINT.lexp -> IntRedBlackSet.set
30    
31    val dcon_eq : FLINT.dcon * FLINT.dcon -> bool    val dcon_eq : FLINT.dcon * FLINT.dcon -> bool
32    
# Line 40  Line 40 
40        structure LT = LtyExtern        structure LT = LtyExtern
41        structure PO = PrimOp        structure PO = PrimOp
42        structure DA = Access        structure DA = Access
43        structure M  = IntBinaryMap        structure M  = IntRedBlackMap
44        structure A  = Access        structure A  = Access
45        structure O  = Option        structure O  = Option
46        structure S  = IntBinarySet        structure S  = IntRedBlackSet
47        structure F  = FLINT        structure F  = FLINT
48        open FLINT        open FLINT
49  in  in

Legend:
Removed from v.489  
changed lines
  Added in v.504

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