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/MLRISC/Tools/FakeSMLAst/ast.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast.sig

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

revision 744, Fri Dec 8 04:11:42 2000 UTC revision 775, Fri Jan 12 01:17:51 2001 UTC
# Line 9  Line 9 
9    
10     datatype decl =     datatype decl =
11       DATATYPEdecl of datatypebind list * typebind list       DATATYPEdecl of datatypebind list * typebind list
12       | EXCEPTIONdecl of exceptionbind list
13     | FUNdecl of funbind list     | FUNdecl of funbind list
14     | RTLdecl of pat * exp * loc     | RTLdecl of pat * exp * loc
15     | RTLSIGdecl of id list * ty     | RTLSIGdecl of id list * ty
# Line 18  Line 19 
19     | LOCALdecl of decl list * decl list     | LOCALdecl of decl list * decl list
20     | SEQdecl of decl list     | SEQdecl of decl list
21     | STRUCTUREdecl of id * decl list * sigexp option * structexp     | STRUCTUREdecl of id * decl list * sigexp option * structexp
22       | FUNCTORdecl of id * decl list * sigexp option * structexp
23     | STRUCTURESIGdecl of id * sigexp     | STRUCTURESIGdecl of id * sigexp
24     | SIGNATUREdecl of id * sigexp     | SIGNATUREdecl of id * sigexp
25     | SHARINGdecl of share list     | SHARINGdecl of share list
26     | OPENdecl of ident list     | OPENdecl of ident list
27     | FUNCTORARGdecl of id * sigexp     | FUNCTORARGdecl of id * sigexp
28       | INCLUDESIGdecl of sigexp
29     | INFIXdecl of int * id list     | INFIXdecl of int * id list
30     | INFIXRdecl of int * id list     | INFIXRdecl of int * id list
31     | NONFIXdecl of id list     | NONFIXdecl of id list
# Line 63  Line 66 
66                   | STRINGlit of string                   | STRINGlit of string
67                   | CHARlit of char                   | CHARlit of char
68                   | BOOLlit of bool                   | BOOLlit of bool
69                     | REALlit of string
70    
71     and      exp  = LITexp of literal     and      exp  = LITexp of literal
72                   | IDexp of ident                   | IDexp of ident
# Line 81  Line 85 
85                   | LAMBDAexp of clause list                   | LAMBDAexp of clause list
86                   | MARKexp of loc * exp                   | MARKexp of loc * exp
87    
88                     (* MD extensions *)                     (* MDL extensions *)
89                   | BITSLICEexp of exp * range list                   | BITSLICEexp of exp * range list
90                   | LOCexp of id * exp * id option                   | LOCexp of id * exp * id option
91                   | ASMexp of assembly                   | ASMexp of assembly
92                   | TYPEexp of ty                   | TYPEexp of ty
93                   | RTLexp of rtl                   | RTLexp of rtl
94                     | CONTexp of exp * id
95    
96     and ety       = I8 | I16 | I32 | I64 | FSINGLE | FDOUBLE     and ety       = I8 | I16 | I32 | I64 | FSINGLE | FDOUBLE
97    
98     and assemblycase = LOWERCASE | UPPERCASE | VERBATIM     and assemblycase = LOWERCASE | UPPERCASE | VERBATIM
99    
100     and structexp = IDsexp of ident     and structexp = IDsexp of ident
101                   | APPsexp of ident * structexp                   | APPsexp of structexp * structexp
102                   | DECLsexp of decl list                   | DECLsexp of decl list
103                   | CONSTRAINEDsexp of structexp * sigexp                   | CONSTRAINEDsexp of structexp * sigexp
104    
# Line 113  Line 118 
118     and tvkind = INTkind | TYPEkind     and tvkind = INTkind | TYPEkind
119    
120     and        pat   = IDpat of id     and        pat   = IDpat of id
121                        | CONSpat of ident * pat option
122                      | WILDpat                      | WILDpat
123                      | ASpat of id * pat                      | ASpat of id * pat
124                      | LITpat of literal                      | LITpat of literal
125                      | LISTpat of pat list * pat option                      | LISTpat of pat list * pat option
126                      | TUPLEpat of pat list                      | TUPLEpat of pat list
127                      | RECORDpat of (id * pat) list * bool                      | RECORDpat of (id * pat) list * bool
128                        | NOTpat of pat
129                      | ORpat of pat list                      | ORpat of pat list
130                      | CONSpat of ident * pat option                      | ANDpat of pat list
131                        | WHEREpat of pat * exp
132                        | NESTEDpat of pat * exp * pat
133    
134     and  ident = IDENT of id list * id     and  ident = IDENT of id list * id
135    
# Line 158  Line 167 
167                field:id option,cbs:consbind list}                field:id option,cbs:consbind list}
168                        | DATATYPEEQbind of {id:id, tyvars:tyvar list, ty:ty}                        | DATATYPEEQbind of {id:id, tyvars:tyvar list, ty:ty}
169    
170       and   exceptionbind = EXCEPTIONbind of id * ty option
171                           | EXCEPTIONEQbind of id * ident
172    
173     and   consbind     =     and   consbind     =
174           CONSbind of {id : id,ty:ty option,mc : mc option,           CONSbind of {id : id,ty:ty option,mc : mc option,
175                        asm : assembly option,                        asm : assembly option,

Legend:
Removed from v.744  
changed lines
  Added in v.775

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