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 1370 - (download) (annotate)
Mon Sep 15 03:38:25 2003 UTC (17 years ago) by macqueen
File size: 674 byte(s)
eliminate types from primop info
(* 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

(* PRIMOP:  no longer relevant, II.info does not contain type
    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