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 (3 years, 10 months ago) by dbm
File size: 322 byte(s)
removed remaining dependencies on PlambdaType from front-end
(* sig-plist.sml *)

structure SigPropList =
struct

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

end (* structure SigPropList *)

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