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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 24 - (download) (as text) (annotate)
Thu Mar 12 00:49:58 1998 UTC (22 years, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/plambda/pflatten.sig
File size: 712 byte(s)
*** empty log message ***
signature PFLATTEN =
sig
    type llty = PLambda.lty
    type ltyc = PLambda.tyc
    type flty = FLINT.lty
    type ftyc = FLINT.tyc
    type lexp = FLINT.lexp
    type value = FLINT.value
    type lvar = FLINT.lvar

    val all_flatten : llty -> (llty list * bool *
			       ((lvar * lexp) -> (lvar list * lexp)) *
			       (value -> (value list * (lexp -> lexp))))

    val ltc_flat    : llty -> llty list
    val ltp_flat    : llty -> bool
    val v_unflatten : llty -> (lvar * lexp) -> (lvar list * lexp)
    val v_flatten   : llty -> value -> (value list * (lexp -> lexp))

    (* recursively turn cooked types into raw when possible *)
    val ltc_raw : llty -> flty
    val tcc_raw : ltyc -> ftyc

end

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