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 24 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/plambda/pflatten.sig

1 : monnier 16
2 :     signature PFLATTEN =
3 :     sig
4 :     type llty = PLambda.lty
5 :     type ltyc = PLambda.tyc
6 :     type flty = FLINT.lty
7 :     type ftyc = FLINT.tyc
8 :     type lexp = FLINT.lexp
9 :     type value = FLINT.value
10 :     type lvar = FLINT.lvar
11 :    
12 : monnier 24 val all_flatten : llty -> (llty list * bool *
13 :     ((lvar * lexp) -> (lvar list * lexp)) *
14 :     (value -> (value list * (lexp -> lexp))))
15 :    
16 :     val ltc_flat : llty -> llty list
17 :     val ltp_flat : llty -> bool
18 :     val v_unflatten : llty -> (lvar * lexp) -> (lvar list * lexp)
19 :     val v_flatten : llty -> value -> (value list * (lexp -> lexp))
20 :    
21 :     (* recursively turn cooked types into raw when possible *)
22 : monnier 16 val ltc_raw : llty -> flty
23 :     val tcc_raw : ltyc -> ftyc
24 :    
25 : monnier 24 end

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