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.sml
ViewVC logotype

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

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 132  Line 132 
132           | ValSpec of (symbol * ty) list                  (* value *)           | ValSpec of (symbol * ty) list                  (* value *)
133           | DataSpec of {datatycs: db list, withtycs: tb list} (* datatype *)           | DataSpec of {datatycs: db list, withtycs: tb list} (* datatype *)
134           | ExceSpec of (symbol * ty option) list          (* exception *)           | ExceSpec of (symbol * ty option) list          (* exception *)
          | FixSpec of  {fixity: fixity, ops: symbol list} (* fixity *)  
135           | ShareStrSpec of path list                      (* structure sharing *)           | ShareStrSpec of path list                      (* structure sharing *)
136           | ShareTycSpec of path list                      (* type sharing *)           | ShareTycSpec of path list                      (* type sharing *)
137           | IncludeSpec of sigexp                          (* include specif *)           | IncludeSpec of sigexp                          (* include specif *)
# Line 158  Line 157 
157          | OpenDec of path list                          (* open structures *)          | OpenDec of path list                          (* open structures *)
158          | OvldDec of symbol * ty * exp list     (* overloading (internal) *)          | OvldDec of symbol * ty * exp list     (* overloading (internal) *)
159          | FixDec of {fixity: fixity, ops: symbol list}  (* fixity *)          | FixDec of {fixity: fixity, ops: symbol list}  (* fixity *)
         | ImportDec of string list              (* import (unused) *)  
160          | MarkDec of dec * region               (* mark a dec *)          | MarkDec of dec * region               (* mark a dec *)
161    
162  (* VALUE BINDINGS *)  (* VALUE BINDINGS *)
163  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 *)  
164         | MarkVb of vb * region         | MarkVb of vb * region
165    
166  (* RECURSIVE VALUE BINDINGS *)  (* RECURSIVE VALUE BINDINGS *)
167  and rvb = Rvb of {var:symbol, fixity: (symbol * region) option,  and rvb = Rvb of {var:symbol, fixity: (symbol * region) option,
168                      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 *)  
169            | MarkRvb of rvb * region            | MarkRvb of rvb * region
170    
171  (* RECURSIVE FUNCTIONS BINDINGS *)  (* RECURSIVE FUNCTIONS BINDINGS *)
172  and fb = Fb of clause list  and fb = Fb of clause list * bool (* bool indicates whether lazy *)
        | LFb of clause list   (* ZIDO:  PWLE *)  
173         | MarkFb of fb * region         | MarkFb of fb * region
174    
175  (* CLAUSE: a definition for a single pattern in a function binding *)  (* CLAUSE: a definition for a single pattern in a function binding *)
# Line 186  Line 180 
180         | MarkTb of tb * region         | MarkTb of tb * region
181    
182  (* DATATYPE BINDING *)  (* DATATYPE BINDING *)
183  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 *)  
184         | MarkDb of db * region         | MarkDb of db * region
185    
186  (* DATATYPE BINDING RIGHT HAND SIDE *)  (* DATATYPE BINDING RIGHT HAND SIDE *)
# Line 231  Line 224 
224    
225  (*  (*
226   * $Log: ast.sml,v $   * $Log: ast.sml,v $
227     * Revision 1.2  1998/05/15 03:24:22  dbm
228     *   Eliminated obsolete FixSpec and ImportDec constructors.
229     *   Eliminated LVb, LRVb, LFb, LDb constructors.  Use lazyp flag instead.
230     *
231   * Revision 1.1.1.1  1998/04/08 18:39:19  george   * Revision 1.1.1.1  1998/04/08 18:39:19  george
232   * Version 110.5   * Version 110.5
233   *   *

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