Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast-util.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast-util.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1025 - (view) (download) (as text)

1 : leunga 744 signature MDL_AST_UTIL =
2 :     sig
3 :    
4 :     structure Ast : MDL_AST
5 :    
6 :     (* Abbreviations *)
7 :     val ID : string -> Ast.exp
8 :     val APP : string * Ast.exp -> Ast.exp
9 :     val PLUS : Ast.exp * Ast.exp -> Ast.exp
10 :     val MINUS : Ast.exp * Ast.exp -> Ast.exp
11 :     val ANDB : Ast.exp * Ast.exp -> Ast.exp
12 :     val ORB : Ast.exp * Ast.exp -> Ast.exp
13 :     val SLL : Ast.exp * Ast.exp -> Ast.exp
14 :     val SLR : Ast.exp * Ast.exp -> Ast.exp
15 :     val SAR : Ast.exp * Ast.exp -> Ast.exp
16 :     val FALSE : Ast.exp
17 :     val TRUE : Ast.exp
18 :     val ANDALSO : Ast.exp * Ast.exp -> Ast.exp
19 :     val ORELSE : Ast.exp * Ast.exp -> Ast.exp
20 :     val UNIT : Ast.exp
21 :     val NILexp : Ast.exp
22 :    
23 :     val INTexp : int -> Ast.exp
24 : leunga 1025 val INT32exp : Int32.int -> Ast.exp
25 : leunga 775 val INTINFexp : IntInf.int -> Ast.exp
26 : leunga 744 val STRINGexp : string -> Ast.exp
27 :     val BOOLexp : bool -> Ast.exp
28 :     val WORDexp : word -> Ast.exp
29 :     val WORD32exp : Word32.word -> Ast.exp
30 :     val CHARexp : char -> Ast.exp
31 :    
32 :     val INTpat : int -> Ast.pat
33 : leunga 1025 val INT32pat : Int32.int -> Ast.pat
34 : leunga 775 val INTINFpat : IntInf.int -> Ast.pat
35 : leunga 744 val STRINGpat : string -> Ast.pat
36 :     val BOOLpat : bool -> Ast.pat
37 :     val WORDpat : word -> Ast.pat
38 :     val WORD32pat : Word32.word -> Ast.pat
39 :     val CHARpat : char -> Ast.pat
40 :    
41 :     val UNITty : Ast.ty
42 :     val BOOLty : Ast.ty
43 :     val INTty : Ast.ty
44 :     val REGISTERty : Ast.ty
45 :     val REGISTERLISTty : Ast.ty
46 :     val INTLISTty : Ast.ty
47 :     val STRINGty : Ast.ty
48 :     val WORD32ty : Ast.ty
49 :     val WORDty : Ast.ty
50 :     val LABELty : Ast.ty
51 :     val LABEXPty : Ast.ty
52 :     val CONSTty : Ast.ty
53 :     val CELLKINDty : Ast.ty
54 :     val CELLSETty : Ast.ty
55 :    
56 :     val DATATYPE : Ast.id * Ast.tyvar list * Ast.consbind list
57 :     -> Ast.datatypebind
58 :     val CONS : Ast.id * Ast.ty option -> Ast.consbind
59 :     val VAL : Ast.id * Ast.exp -> Ast.decl
60 :     val FUN : Ast.id * Ast.pat * Ast.exp -> Ast.decl
61 :     val FUN': Ast.id * Ast.pat * Ast.exp -> Ast.funbind
62 :     val LET : Ast.decl list * Ast.exp -> Ast.exp
63 :    
64 :     val ERROR : string -> Ast.clause
65 :     val ERRORfun : string -> Ast.decl
66 :     val DUMMYfun : string -> Ast.decl
67 :    
68 :     val cons : Ast.exp * Ast.exp -> Ast.exp
69 :     val append : Ast.exp * Ast.exp -> Ast.exp
70 :    
71 :     (* Generate an expression that computes a bitslice *)
72 :     val BITSLICE : Ast.exp * Ast.range list -> Ast.exp
73 :    
74 :     val compareLiteral : Ast.literal * Ast.literal -> order
75 :    
76 :     end

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