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/primop-branch-3/compiler/ElabData/modules/modules.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/ElabData/modules/modules.sml

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

revision 2561, Thu May 17 03:41:11 2007 UTC revision 2571, Sun May 20 15:12:54 2007 UTC
# Line 32  Line 32 
32   *    the whole thing can be further cleaned up.   *    the whole thing can be further cleaned up.
33   *)   *)
34  and spec  and spec
35    = TYCspec of {entVar : EP.entVar, spec : T.tycon, repl: bool, scope: int}    = TYCspec of {entVar : EP.entVar, info: tycSpecInfo}
36    | STRspec of {entVar : EP.entVar, sign : Signature,    | STRspec of {entVar : EP.entVar, sign : Signature,
37                  def : (strDef * int) option, slot : int}                  def : (strDef * int) option, slot : int}
38    | FCTspec of {entVar : EP.entVar, sign : fctSig, slot : int}    | FCTspec of {entVar : EP.entVar, sign : fctSig, slot : int}
39    | VALspec of {spec : T.ty, slot : int}    | VALspec of {spec : T.ty, slot : int}
40    | CONspec of {spec : T.datacon, slot : int option}    | CONspec of {spec : T.datacon, slot : int option}
41    
42    (* there are two forms of TYCspec. One for regular, explicitly defined signatures,
43     * and the other for inferred signatures, where all the type info is always in the
44     * realization. But we need some info for printing in the one case where a
45     * realization is not available with the signature, namely an inferred result
46     * signature for a functor. *)
47    and tycSpecInfo
48      = RegTycSpec of {spec : T.tycon, repl: bool, scope: int} (* normal signature *)
49      | InfTycSpec of {name: S.symbol, arity: int} (* inferred signature *)
50    
51  (*  (*
52   * and specEnv   * and specEnv
53   *  = NILsenv   *  = NILsenv

Legend:
Removed from v.2561  
changed lines
  Added in v.2571

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