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 1115, Sun Mar 3 18:16:31 2002 UTC
# Line 5  Line 5 
5    
6  signature MDL_AST =  signature MDL_AST =
7  sig  sig
8     type loc  = SourceMap.location     type loc  = SourceMapping.location
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 17  Line 18 
18     | TYPESIGdecl of id * tyvar list     | TYPESIGdecl of id * tyvar list
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 * sigconstraint option * structexp
22       | FUNCTORdecl of id * decl list * sigconstraint 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 * sigconstraint
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 59  Line 62 
62     and   literal = WORDlit of word     and   literal = WORDlit of word
63                   | WORD32lit of Word32.word                   | WORD32lit of Word32.word
64                   | INTlit of int                   | INTlit of int
65                     | INT32lit of Int32.int
66                   | INTINFlit of IntInf.int                   | INTINFlit of IntInf.int
67                   | STRINGlit of string                   | STRINGlit of string
68                   | CHARlit of char                   | CHARlit of char
69                   | BOOLlit of bool                   | BOOLlit of bool
70                     | REALlit of string
71    
72     and      exp  = LITexp of literal     and      exp  = LITexp of literal
73                   | IDexp of ident                   | IDexp of ident
74                   | CONSexp of ident * exp option                   | CONSexp of ident * exp option
75                   | LISTexp of exp list * exp option                   | LISTexp of exp list * exp option
76                   | TUPLEexp of exp list                   | TUPLEexp of exp list
77                     | VECTORexp of exp list
78                   | RECORDexp of (id * exp) list                   | RECORDexp of (id * exp) list
79                   | APPexp of exp * exp                   | APPexp of exp * exp
80                   | IFexp of exp * exp * exp                   | IFexp of exp * exp * exp
# Line 81  Line 87 
87                   | LAMBDAexp of clause list                   | LAMBDAexp of clause list
88                   | MARKexp of loc * exp                   | MARKexp of loc * exp
89    
90                     (* MD extensions *)                     (* MDL extensions *)
91                   | BITSLICEexp of exp * range list                   | BITSLICEexp of exp * range list
92                   | LOCexp of id * exp * id option                   | LOCexp of id * exp * id option
93                   | ASMexp of assembly                   | ASMexp of assembly
94                   | TYPEexp of ty                   | TYPEexp of ty
95                   | RTLexp of rtl                   | RTLexp of rtl
96                     | CONTexp of exp * id
97    
98     and ety       = I8 | I16 | I32 | I64 | FSINGLE | FDOUBLE     and ety       = I8 | I16 | I32 | I64 | FSINGLE | FDOUBLE
99    
100     and assemblycase = LOWERCASE | UPPERCASE | VERBATIM     and assemblycase = LOWERCASE | UPPERCASE | VERBATIM
101    
102     and structexp = IDsexp of ident     and structexp = IDsexp of ident
103                   | APPsexp of ident * structexp                   | APPsexp of structexp * structexp
104                   | DECLsexp of decl list                   | DECLsexp of decl list
105                   | CONSTRAINEDsexp of structexp * sigexp                   | CONSTRAINEDsexp of structexp * sigexp
106    
# Line 113  Line 120 
120     and tvkind = INTkind | TYPEkind     and tvkind = INTkind | TYPEkind
121    
122     and        pat   = IDpat of id     and        pat   = IDpat of id
123                        | CONSpat of ident * pat option
124                      | WILDpat                      | WILDpat
125                      | ASpat of id * pat                      | ASpat of id * pat
126                      | LITpat of literal                      | LITpat of literal
127                      | LISTpat of pat list * pat option                      | LISTpat of pat list * pat option
128                      | TUPLEpat of pat list                      | TUPLEpat of pat list
129                        | VECTORpat of pat list
130                      | RECORDpat of (id * pat) list * bool                      | RECORDpat of (id * pat) list * bool
131                        | TYPEDpat of pat * ty
132                        | NOTpat of pat
133                      | ORpat of pat list                      | ORpat of pat list
134                      | CONSpat of ident * pat option                      | ANDpat of pat list
135                        | WHEREpat of pat * exp
136                        | NESTEDpat of pat * exp * pat
137    
138     and  ident = IDENT of id list * id     and  ident = IDENT of id list * id
139    
# Line 158  Line 171 
171                field:id option,cbs:consbind list}                field:id option,cbs:consbind list}
172                        | DATATYPEEQbind of {id:id, tyvars:tyvar list, ty:ty}                        | DATATYPEEQbind of {id:id, tyvars:tyvar list, ty:ty}
173    
174       and   exceptionbind = EXCEPTIONbind of id * ty option
175                           | EXCEPTIONEQbind of id * ident
176    
177     and   consbind     =     and   consbind     =
178           CONSbind of {id : id,ty:ty option,mc : mc option,           CONSbind of {id : id,ty:ty option,mc : mc option,
179                        asm : assembly option,                        asm : assembly option,
# Line 218  Line 234 
234                        | REPEATcycle of cycle * int                        | REPEATcycle of cycle * int
235                        | IDcycle of id                        | IDcycle of id
236    
237    
238     withtype range = int * int     withtype range = int * int
239     and      id    = string     and      id    = string
240     and      guard = exp option     and      guard = exp option
241     and      opcodeencoding = int list option     and      opcodeencoding = int list option
242     and      cellset = bool     and      cellset = bool
243     and      rtl     = rtlterm list     and      rtl     = rtlterm list
244       and      sigconstraint = {abstract: bool, sigexp:sigexp}
245    
246  end  end

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

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