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/branches/primop-branch-3/compiler/Semant/modules/module-plists.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2561 - (download) (annotate)
Thu May 17 03:41:11 2007 UTC (13 years, 5 months ago) by dbm
File size: 1321 byte(s)
fix for Date.fromString, unification for SCHEME tyvars
(* 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 (* structure ModulePropLists *)

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