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

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-gkuan/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-gkuan/compiler/FLINT/trans/translate.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2947, Sat Feb 16 00:17:56 2008 UTC revision 2948, Sat Feb 16 18:11:07 2008 UTC
# Line 39  Line 39 
39        structure TU = TypesUtil        structure TU = TypesUtil
40        structure V  = VarCon        structure V  = VarCon
41        structure EU = ElabUtil        structure EU = ElabUtil
42          structure TTP = TypesTP
43    
44        structure IIMap = RedBlackMapFn (type ord_key = IntInf.int        structure IIMap = RedBlackMapFn (type ord_key = IntInf.int
45                                          val compare = IntInf.compare)                                          val compare = IntInf.compare)
46    
47        open Absyn PLambda        open Absyn PLambda
48        open AbsynTP (* TODO: Should just qualify pats or split out,        open AbsynTP (* TODO: Should just qualify pats or split out,
49                        counting on correct shadowing is fragile. *)                        counting on correct shadowing is fragile
50                          and dangerous. *)
51  in  in
52    
53  (****************************************************************************  (****************************************************************************
# Line 152  Line 154 
154  (** generate the set of ML-to-FLINT type translation functions *)  (** generate the set of ML-to-FLINT type translation functions *)
155  val {tpsKnd, tpsTyc, toTyc, toLty, strLty, fctLty} =  val {tpsKnd, tpsTyc, toTyc, toLty, strLty, fctLty} =
156      TT.genTT()      TT.genTT()
157    (* fun tpsKnd x = tpsKnd' x handle _ => bug "tpsKnd"
158    fun tpsTyc x = tpsTyc' x handle _ => bug "tpsTyc"
159    fun toTyc x = toTyc' x handle _ => bug "toTyc"
160    fun toLty x = toLty' x handle _ => bug "toLty"
161    fun strLty x = strLty' x handle _ => bug "strLty"
162    fun fctLty x = fctLty' x handle _ => bug "fctLty" *)
163    
164  fun toTcLt d = (toTyc d, toLty d)  fun toTcLt d = (toTyc d, toLty d)
165    
166  (** translating the typ field in DATACON into lty; constant datacons  (** translating the typ field in DATACON into lty; constant datacons
# Line 1143  Line 1152 
1152    | mkStr _ = bug "unexpected structures in mkStr"    | mkStr _ = bug "unexpected structures in mkStr"
1153    
1154  fun mkFct (f as M.FCT { access, prim, rlzn={paramEnts, ...},... }, d) =  fun mkFct (f as M.FCT { access, prim, rlzn={paramEnts, ...},... }, d) =
1155      mkAccInfo(access, fn () => fctLty(f, d, compInfo), NONE)      mkAccInfo(access,
1156                  fn () => fctLty(f, d, compInfo),
1157                  NONE)
1158    | mkFct _ = bug "unexpected functors in mkFct"    | mkFct _ = bug "unexpected functors in mkFct"
1159    
1160  fun mkBnd d =  fun mkBnd d =

Legend:
Removed from v.2947  
changed lines
  Added in v.2948

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