Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/Semant/modules/instantiate-param.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1370 - (view) (download)

1 : blume 902 (* instantiate-param.sml
2 :     *
3 :     * (C) 2001 Lucent Technologies, Bell Labs
4 :     *
5 :     * SML/NJ-specific instantiation of INSTANTIATE_PARAM.
6 :     *)
7 :     structure InstantiateParam : INSTANTIATE_PARAM = struct
8 :    
9 :     type tkind = PLambdaType.tkind
10 :     val tkc_int = PLambdaType.tkc_int
11 :     val tkc_fun = PLambdaType.tkc_fun
12 :     val tkc_seq = PLambdaType.tkc_seq
13 :    
14 :     val sigBoundeps = ModulePropLists.sigBoundeps
15 :     val setSigBoundeps = ModulePropLists.setSigBoundeps
16 :    
17 :     val tvi_exn = TVI.toExn
18 :    
19 : macqueen 1370 (* PRIMOP: no longer relevant, II.info does not contain type
20 : blume 902 fun ii2ty i =
21 :     InlInfo.match i { inl_prim = fn (_, t) => SOME t,
22 :     inl_str = fn _ => NONE,
23 :     inl_no = fn () => NONE }
24 : macqueen 1370 *)
25 : blume 902
26 :     end

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