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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 902 - (download) (annotate)
Wed Aug 15 21:17:05 2001 UTC (19 years, 2 months ago) by blume
File size: 1242 byte(s)
new organization of compiler libraries
(* module-plist.sml
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *)
structure ModulePropLists = struct

    val { getFn = strEntityLty, setFn = setStrEntityLty, ... } = let
	fun holder (e: Modules.strEntity) = #properties e
	fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
    in
	PropList.newProp (holder, init)
    end

    val { getFn = fctEntityLty, setFn = setFctEntityLty, ... } = let
	fun holder (e: Modules.fctEntity) = #properties e
	fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
    in
	PropList.newProp (holder, init)
    end

    val { getFn = sigLty, setFn = setSigLty, ... } = let
	fun holder (e: Modules.sigrec) = #properties e
	fun init _ = NONE: (PLambdaType.lty * DebIndex.depth) option
    in
	PropList.newProp (holder, init)
    end

    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

    val { getFn = dtfLtyc, setFn = setDtfLtyc, ... } = let
	fun holder (f: Types.dtypeFamily) = #properties f
	fun init _ = NONE: (PLambdaType.tyc * DebIndex.depth) option
    in
	PropList.newProp (holder, init)
    end
end

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