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.sig
ViewVC logotype

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

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

revision 2739, Tue Aug 21 20:44:08 2007 UTC revision 2740, Tue Aug 21 21:05:34 2007 UTC
# Line 13  Line 13 
13    
14  datatype litKind = INT | WORD | REAL | CHAR | STRING  datatype litKind = INT | WORD | REAL | CHAR | STRING
15    
16    datatype pkind (* Functor parameter kinds *)
17      = PK_MONO                                    (* ground mono tycon *)
18      | PK_SEQ of pkind list                       (* sequence of tycons *)
19      | PK_FUN of pkind list * pkind               (* n-ary tycon function *)
20    
21  datatype openTvKind  datatype openTvKind
22    = META    = META
23    | FLEX of (label * ty) list    | FLEX of (label * ty) list
# Line 39  Line 44 
44        * bound at a given binding site. *)        * bound at a given binding site. *)
45    
46  and tycpath  and tycpath
47    = TP_VAR of exn    = TP_VAR of { tdepth: DebIndex.depth,
48                    num: int, kind: pkind }
49    | TP_TYC of tycon    | TP_TYC of tycon
50    | TP_FCT of tycpath list * tycpath list    | TP_FCT of tycpath list * tycpath list
51    | TP_APP of tycpath * tycpath list    | TP_APP of tycpath * tycpath list

Legend:
Removed from v.2739  
changed lines
  Added in v.2740

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