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 775, Fri Jan 12 01:17:51 2001 UTC revision 1025, Thu Jan 17 20:31:51 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
# Line 18  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 * sigexp option * structexp     | 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     | 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
# Line 62  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
# Line 125  Line 126 
126                      | LISTpat of pat list * pat option                      | LISTpat of pat list * pat option
127                      | TUPLEpat of pat list                      | TUPLEpat of pat list
128                      | RECORDpat of (id * pat) list * bool                      | RECORDpat of (id * pat) list * bool
129                        | TYPEDpat of pat * ty
130                      | NOTpat of pat                      | NOTpat of pat
131                      | ORpat of pat list                      | ORpat of pat list
132                      | ANDpat of pat list                      | ANDpat of pat list
# Line 230  Line 232 
232                        | REPEATcycle of cycle * int                        | REPEATcycle of cycle * int
233                        | IDcycle of id                        | IDcycle of id
234    
235    
236     withtype range = int * int     withtype range = int * int
237     and      id    = string     and      id    = string
238     and      guard = exp option     and      guard = exp option
239     and      opcodeencoding = int list option     and      opcodeencoding = int list option
240     and      cellset = bool     and      cellset = bool
241     and      rtl     = rtlterm list     and      rtl     = rtlterm list
242       and      sigconstraint = {abstract: bool, sigexp:sigexp}
243    
244  end  end

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

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