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/Semant/modules/module-plists.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Semant/modules/module-plists.sml

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

revision 2739, Tue Aug 21 20:44:08 2007 UTC revision 2740, Tue Aug 21 21:05:34 2007 UTC
# Line 27  Line 27 
27        PropList.newProp (holder, init)        PropList.newProp (holder, init)
28    end    end
29    
   val { getFn = sigBoundeps, setFn = setSigBoundeps, ... } = let  
       fun holder (e: Modules.sigrec) = #properties e  
       fun init _ = NONE: (EntPath.entPath * PLambdaType.tkind) list option  
   in  
       PropList.newProp (holder, init)  
   end  
   
30    val { getFn = dtfLtyc, setFn = setDtfLtyc, ... } = let    val { getFn = dtfLtyc, setFn = setDtfLtyc, ... } = let
31        fun holder (f: Types.dtypeFamily) = #properties f        fun holder (f: Types.dtypeFamily) = #properties f
32        fun init _ = NONE: (PLambdaType.tyc * DebIndex.depth) option        fun init _ = NONE: (PLambdaType.tyc * DebIndex.depth) option

Legend:
Removed from v.2739  
changed lines
  Added in v.2740

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