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/compiler/Parse/ast/ast.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/Parse/ast/ast.sig

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

revision 108, Thu May 28 22:07:09 1998 UTC revision 109, Fri May 29 02:12:55 1998 UTC
# Line 127  Line 127 
127             | ValSpec of (symbol * ty) list                      (* value *)             | ValSpec of (symbol * ty) list                      (* value *)
128             | DataSpec of {datatycs: db list, withtycs: tb list} (* datatype *)             | DataSpec of {datatycs: db list, withtycs: tb list} (* datatype *)
129             | ExceSpec of (symbol * ty option) list              (* exception *)             | ExceSpec of (symbol * ty option) list              (* exception *)
            | FixSpec of  {fixity: fixity, ops: symbol list}     (* fixity *)  
130             | ShareStrSpec of path list                  (* structure sharing *)             | ShareStrSpec of path list                  (* structure sharing *)
131             | ShareTycSpec of path list                  (* type sharing *)             | ShareTycSpec of path list                  (* type sharing *)
132             | IncludeSpec of sigexp                      (* include specif *)             | IncludeSpec of sigexp                      (* include specif *)
# Line 153  Line 152 
152            | OpenDec of path list                        (* open structures *)            | OpenDec of path list                        (* open structures *)
153            | OvldDec of symbol * ty * exp list   (* overloading (internal) *)            | OvldDec of symbol * ty * exp list   (* overloading (internal) *)
154            | FixDec of {fixity: fixity, ops: symbol list}  (* fixity *)            | FixDec of {fixity: fixity, ops: symbol list}  (* fixity *)
           | ImportDec of string list            (* import (unused) *)  
155            | MarkDec of dec * region             (* mark a dec *)            | MarkDec of dec * region             (* mark a dec *)
156    
157    (* VALUE BINDINGS *)    (* VALUE BINDINGS *)
158    and vb = Vb of {pat:pat, exp:exp}    and vb = Vb of {pat:pat, exp:exp, lazyp:bool}
          | LVb of {pat:pat, exp:exp}   (* ZIDO:  PWLE *)  
159           | MarkVb of vb * region           | MarkVb of vb * region
160    
161    (* RECURSIVE VALUE BINDINGS *)    (* RECURSIVE VALUE BINDINGS *)
162    and rvb = Rvb of {var:symbol, fixity: (symbol * region) option,    and rvb = Rvb of {var:symbol, fixity: (symbol * region) option,
163                      exp:exp, resultty: ty option}                      exp:exp, resultty: ty option, lazyp: bool}
           | LRvb of {var:symbol, fixity: (symbol * region) option,  
                     exp:exp, resultty: ty option}   (* ZIDO:  PWLE *)  
164            | MarkRvb of rvb * region            | MarkRvb of rvb * region
165    
166    (* RECURSIVE FUNCTIONS BINDINGS *)    (* RECURSIVE FUNCTIONS BINDINGS *)
167    and fb = Fb of clause list    and fb = Fb of (clause list * bool)
          | LFb of clause list   (* ZIDO:  PWLE *)  
168           | MarkFb of fb * region           | MarkFb of fb * region
169    
170    (* CLAUSE: a definition for a single pattern in a function binding *)    (* CLAUSE: a definition for a single pattern in a function binding *)
# Line 181  Line 175 
175           | MarkTb of tb * region           | MarkTb of tb * region
176    
177    (* DATATYPE BINDING *)    (* DATATYPE BINDING *)
178    and db = Db of {tyc : symbol, tyvars : tyvar list, rhs : dbrhs}    and db = Db of {tyc : symbol, tyvars : tyvar list, rhs : dbrhs, lazyp: bool}
          | LDb of {tyc : symbol, tyvars : tyvar list, rhs : dbrhs}   (* ZIDO:  PWLE *)  
179           | MarkDb of db * region           | MarkDb of db * region
180    
181    (* DATATYPE BINDING RIGHT HAND SIDE *)    (* DATATYPE BINDING RIGHT HAND SIDE *)
# Line 227  Line 220 
220    
221  (*  (*
222   * $Log: ast.sig,v $   * $Log: ast.sig,v $
223     * Revision 1.2  1998/05/15 03:23:55  dbm
224     *   Eliminated obsolete FixSpec and ImportDec constructors.
225     *   Eliminated LVb, LRVb, LFb, LDb constructors.  Use lazyp flag instead.
226     *
227   * Revision 1.1.1.1  1998/04/08 18:39:19  george   * Revision 1.1.1.1  1998/04/08 18:39:19  george
228   * Version 110.5   * Version 110.5
229   *   *

Legend:
Removed from v.108  
changed lines
  Added in v.109

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