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/branches/primop-branch-3/compiler/ElabData/types/types.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/ElabData/types/types.sml

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

revision 2397, Wed Apr 11 14:46:59 2007 UTC revision 2398, Wed Apr 11 18:54:53 2007 UTC
# Line 35  Line 35 
35       {kind: litKind, region: SourceMap.region}       {kind: litKind, region: SourceMap.region}
36    | SCHEME of bool (* overloaded operator type scheme variable    | SCHEME of bool (* overloaded operator type scheme variable
37                     * arg is true if must be instantiated to equality type *)                     * arg is true if must be instantiated to equality type *)
38    | TV_MARK of int * int    | TV_MARK of int * int  (* FLINT de Bruijn index *)
39    
40  and tycpath  and tycpath (* FLINT *)
41    = TP_VAR of exn    = TP_VAR of exn
42    | TP_TYC of tycon    | TP_TYC of tycon
43    | TP_FCT of tycpath list * tycpath list    | TP_FCT of tycpath list * tycpath list

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

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