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/branches/SMLNJ/src/compiler/Semant/modules/modules.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/modules/modules.sig

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

revision 166, Sat Nov 7 20:11:41 1998 UTC 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 157  Line 160 
160    
161    
162  (*  (*
163   * $Log$   * $Log: modules.sig,v $
164     * Revision 1.1.1.1  1998/04/08 18:39:28  george
165     * Version 110.5
166     *
167   *)   *)

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

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