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-2/src/compiler/Semant/modules/instantiate-param.sml
ViewVC logotype

View of /sml/branches/primop-branch-2/src/compiler/Semant/modules/instantiate-param.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1946 - (download) (annotate)
Tue Jun 20 22:15:23 2006 UTC (13 years, 2 months ago) by macqueen
File size: 553 byte(s)
further primop changes
(* 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

end

(* [dbm, 6/16/06] Eliminated ii2ty. Call InlInfo.primopTy directly. *)

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