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-2/src/compiler/ElabData/modules/moduleutil.sig
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/ElabData/modules/moduleutil.sig

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

revision 1956, Thu Jul 6 20:13:39 2006 UTC revision 1957, Thu Jul 6 22:28:24 2006 UTC
# Line 16  Line 16 
16                   -> Types.tycon * EntPath.entVar                   -> Types.tycon * EntPath.entVar
17    
18  val getStr : Modules.elements * Modules.entityEnv  val getStr : Modules.elements * Modules.entityEnv
19               * Symbol.symbol * Access.access * InlInfo.inl_info               * Symbol.symbol * Access.access * PrimOpId.strPrimElem
20               -> Modules.Structure * EntPath.entVar               -> Modules.Structure * EntPath.entVar
21    
22  val getFct : Modules.elements * Modules.entityEnv  val getFct : Modules.elements * Modules.entityEnv
23               * Symbol.symbol * Access.access * InlInfo.inl_info               * Symbol.symbol * Access.access * PrimOpId.strPrimElem
24               -> Modules.Functor * EntPath.entVar               -> Modules.Functor * EntPath.entVar
25    
26  (*** these functions are used in eqtypes.sml ***)  (*** these functions are used in eqtypes.sml ***)
# Line 68  Line 68 
68                      -> StaticEnv.staticEnv                      -> StaticEnv.staticEnv
69    
70  (*** extract inl_info from a list of bindings *)  (*** extract inl_info from a list of bindings *)
71  val extractInfo : Bindings.binding -> InlInfo.inl_info  val extractInfo : Bindings.binding -> PrimOpId.primId
72    
73  val getSigSymbols: Modules.Signature -> Symbol.symbol list  val getSigSymbols: Modules.Signature -> Symbol.symbol list
74    

Legend:
Removed from v.1956  
changed lines
  Added in v.1957

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