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/compiler/ElabData/basics/sig-plist.sml
ViewVC logotype

View of /sml/trunk/compiler/ElabData/basics/sig-plist.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 4309 - (download) (annotate)
Thu Sep 15 01:31:46 2016 UTC (4 years ago) by dbm
File size: 322 byte(s)
removed remaining dependencies on PlambdaType from front-end
(* sig-plist.sml *)

structure SigPropList =

  val { getFn = sigBoundeps, setFn = setSigBoundeps, ... } = let
      fun holder (e: Modules.sigrec) = #properties e
      fun init _ = NONE: (EntPath.entPath * TKind.tkind) list option
      PropList.newProp (holder, init)

end (* structure SigPropList *)

ViewVC Help
Powered by ViewVC 1.0.0