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 651, Thu Jun 1 18:34:03 2000 UTC
# Line 1  Line 1 
1  (* Copyright 1997 (c) by YALE FLINT PROJECT *)  (* Copyright 1997 (c) by YALE FLINT PROJECT *)
2  (* flintutil.sml *)  (* flintutil.sml *)
3    
4    structure FLINTIntMap = IntBinaryMap
5    
6  signature FLINTUTIL =  signature FLINTUTIL =
7  sig  sig
8    val rk_tuple : FLINT.rkind    val rk_tuple : FLINT.rkind
# Line 22  Line 24 
24     * free variables remain unchanged except for the renaming specified     * free variables remain unchanged except for the renaming specified
25     * in the first (types) and second (values) argument *)     * in the first (types) and second (values) argument *)
26    val copy : (FLINT.tvar * FLINT.tyc) list ->    val copy : (FLINT.tvar * FLINT.tyc) list ->
27               FLINT.lvar IntBinaryMap.map ->               FLINT.lvar FLINTIntMap.map ->
28               FLINT.lexp -> FLINT.lexp               FLINT.lexp -> FLINT.lexp
29    val copyfdec : FLINT.fundec -> FLINT.fundec    val copyfdec : FLINT.fundec -> FLINT.fundec
30    
31    val freevars : FLINT.lexp -> IntBinarySet.set    val freevars : FLINT.lexp -> IntRedBlackSet.set
32    
33    val dcon_eq : FLINT.dcon * FLINT.dcon -> bool    val dcon_eq : FLINT.dcon * FLINT.dcon -> bool
34    
# Line 40  Line 42 
42        structure LT = LtyExtern        structure LT = LtyExtern
43        structure PO = PrimOp        structure PO = PrimOp
44        structure DA = Access        structure DA = Access
45        structure M  = IntBinaryMap        structure M  = FLINTIntMap
46        structure A  = Access        structure A  = Access
47        structure O  = Option        structure O  = Option
48        structure S  = IntBinarySet        structure S  = IntRedBlackSet
49        structure F  = FLINT        structure F  = FLINT
50        open FLINT        open FLINT
51  in  in

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

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