Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/Semant/modules/module-plists.sml
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Semant/modules/module-plists.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 902 - (view) (download)

1 : blume 902 (* module-plist.sml
2 :     *
3 :     * (C) 2001 Lucent Technologies, Bell Labs
4 :     *)
5 :     structure ModulePropLists = struct
6 :    
7 :     val { getFn = strEntityLty, setFn = setStrEntityLty, ... } = let
8 :     fun holder (e: Modules.strEntity) = #properties e
9 :     fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
10 :     in
11 :     PropList.newProp (holder, init)
12 :     end
13 :    
14 :     val { getFn = fctEntityLty, setFn = setFctEntityLty, ... } = let
15 :     fun holder (e: Modules.fctEntity) = #properties e
16 :     fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
17 :     in
18 :     PropList.newProp (holder, init)
19 :     end
20 :    
21 :     val { getFn = sigLty, setFn = setSigLty, ... } = let
22 :     fun holder (e: Modules.sigrec) = #properties e
23 :     fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
24 :     in
25 :     PropList.newProp (holder, init)
26 :     end
27 :    
28 :     val { getFn = sigBoundeps, setFn = setSigBoundeps, ... } = let
29 :     fun holder (e: Modules.sigrec) = #properties e
30 :     fun init _ = NONE: (EntPath.entPath * PLambdaType.tkind) list option
31 :     in
32 :     PropList.newProp (holder, init)
33 :     end
34 :    
35 :     val { getFn = dtfLtyc, setFn = setDtfLtyc, ... } = let
36 :     fun holder (f: Types.dtypeFamily) = #properties f
37 :     fun init _ = NONE: (PLambdaType.tyc * DebIndex.depth) option
38 :     in
39 :     PropList.newProp (holder, init)
40 :     end
41 :     end

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