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/Semant/modules/modules.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/modules/modules.sig

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

sml/trunk/src/compiler/Semant/modules/modules.sig revision 16, Wed Mar 11 21:00:04 1998 UTC sml/branches/SMLNJ/src/compiler/Semant/modules/modules.sig revision 167, Sat Nov 7 20:11:41 1998 UTC
# Line 20  Line 20 
20    | ERRORsig    | ERRORsig
21    
22  and spec  and spec
23    = TYCspec of {entVar : EntPath.entVar, spec : Types.tycon, scope : int}    = TYCspec of {entVar : EntPath.entVar, spec : Types.tycon, repl: bool, scope : int}
24    | STRspec of {entVar : EntPath.entVar, sign : Signature,    | STRspec of {entVar : EntPath.entVar, sign : Signature,
25                  def : (strDef * int) option, slot : int}                  def : (strDef * int) option, slot : int}
26    | FCTspec of {entVar : EntPath.entVar, sign : fctSig, slot : int}    | FCTspec of {entVar : EntPath.entVar, sign : fctSig, slot : int}
# Line 43  Line 43 
43    | ERRORfsig    | ERRORfsig
44    
45  and extDef  and extDef
46    = TYCdef of SymPath.path * Types.tycon * bool (* relative *)    = TYCdef of
47          {path : SymPath.path, (* the (inward) path to the spec being defined *)
48           tyc : Types.tycon, (* the definition, typically relativized *)
49           relative : bool} (* does tyc contain entity paths *)
50    | STRdef of SymPath.path * strDef    | STRdef of SymPath.path * strDef
51    
52  and strDef  and strDef
# Line 158  Line 161 
161    
162  (*  (*
163   * $Log: modules.sig,v $   * $Log: modules.sig,v $
164   * Revision 1.8  1997/09/30  02:30:42  dbm   * Revision 1.1.1.1  1998/04/08 18:39:28  george
165   *   New constructor ERReenv for entityEnv.  Used for error recovery.   * Version 110.5
  *  
  * Revision 1.7  1997/09/17  21:31:30  dbm  
  *   New symbol parameter for STRdec (modules/tests/12.sml).  
  *  
  * Revision 1.6  1997/08/22  18:35:01  george  
  *    Add the fctflag field to the signature datatype -- zsh  
  *  
  * Revision 1.5  1997/07/15  16:10:33  dbm  
  *   Representation changes associated with the rewriting of instantiate.sml.  
  *  
  * Revision 1.4  1997/05/20  12:23:13  dbm  
  *   SML '97 sharing, where structure.  
  *  
  * Revision 1.3  1997/04/02  04:08:22  dbm  
  *   Added CONSTRAINstr constructor to strExp type.  Fix for bug 12, propagating  
  *   paths to type constructors defined in functors.  
  *  
  * Revision 1.2  1997/01/21  13:25:30  george  
  *    Modify the entityExp definition to correctly implement the  
  *    datatype generativity in functor body. -- from zsh  
166   *   *
167   *)   *)

Legend:
Removed from v.16  
changed lines
  Added in v.167

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