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/instantiate-param.sml
ViewVC logotype

View of /sml/trunk/src/compiler/Semant/modules/instantiate-param.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 902 - (download) (annotate)
Wed Aug 15 21:17:05 2001 UTC (19 years, 1 month ago) by blume
File size: 613 byte(s)
new organization of compiler libraries
(* instantiate-param.sml
 *
 * (C) 2001 Lucent Technologies, Bell Labs
 *
 * SML/NJ-specific instantiation of INSTANTIATE_PARAM.
 *)
structure InstantiateParam : INSTANTIATE_PARAM = struct

    type tkind = PLambdaType.tkind
    val tkc_int = PLambdaType.tkc_int
    val tkc_fun = PLambdaType.tkc_fun
    val tkc_seq = PLambdaType.tkc_seq

    val sigBoundeps = ModulePropLists.sigBoundeps
    val setSigBoundeps = ModulePropLists.setSigBoundeps

    val tvi_exn = TVI.toExn

    fun ii2ty i =
	InlInfo.match i { inl_prim = fn (_, t) => SOME t,
			  inl_str = fn _ => NONE,
			  inl_no = fn () => NONE }
	  

end

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