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/FLINT/plambda/pflatten.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/FLINT/plambda/pflatten.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (view) (download) (as text)

1 : monnier 16 (* Copyright (c) 1997 YALE FLINT PROJECT *)
2 :     (* pflatten.sml *)
3 :    
4 :     signature PFLATTEN =
5 :     sig
6 :     type llty = PLambda.lty
7 :     type ltyc = PLambda.tyc
8 :     type flty = FLINT.lty
9 :     type ftyc = FLINT.tyc
10 :     type lexp = FLINT.lexp
11 :     type value = FLINT.value
12 :     type lvar = FLINT.lvar
13 :    
14 :     (* the following functions are used in flintnm.sml *)
15 :     val ltc_raw : llty -> flty
16 :     val tcc_raw : ltyc -> ftyc
17 :    
18 :     val t_pflatten : llty -> bool * llty list * bool
19 :     val v_punflatten : llty -> ((bool * llty list * bool) *
20 :     ((lvar * lexp) -> (lvar list * lexp)))
21 :     val v_pflatten : llty -> ((bool * llty list * bool) *
22 :     (value -> (value list * (lexp -> lexp))))
23 :    
24 :     (* the following functions are used during type specialization in FLINT *)
25 :    
26 :     val t_flatten : (flty list * bool) -> bool * flty list * bool
27 :     val v_unflatten : (flty list * bool) ->
28 :     ((bool * flty list * bool) *
29 :     ((lvar list * lexp) -> (lvar list * lexp)))
30 :     val v_flatten : (flty list * bool) ->
31 :     ((bool * flty list * bool) *
32 :     (value list -> (value list * (lexp -> lexp))))
33 :    
34 :     end (* signature PFLATTEN *)

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