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-3/compiler/FLINT/trans/translate.sml
ViewVC logotype

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

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

revision 3375, Fri May 22 16:14:53 2009 UTC revision 3376, Fri May 22 16:15:37 2009 UTC
# Line 215  Line 215 
215  fun mkv () = mkvN NONE  fun mkv () = mkvN NONE
216    
217  (** generate the set of ML-to-FLINT type translation functions *)  (** generate the set of ML-to-FLINT type translation functions *)
218  val {tpsKnd, tpsTyc, toTyc, toLty, strLty, fctLty} =  val {tpsKnd, primaryTyconToTyc, toTyc, toLty, strLty, fctLty} =
219      TT.genTT()      TT.genTT()
220    
221  fun toTcLt penv d = (toTyc penv d, toLty penv d)  fun toTcLt penv d = (toTyc penv d, toLty penv d)
# Line 1420  Line 1420 
1420                               of M.STR{entities,...} => entities                               of M.STR{entities,...} => entities
1421                                | _ => bug "Unexpected arg Structure in APPstr")                                | _ => bug "Unexpected arg Structure in APPstr")
1422                         val argtycs0 = map (getTps argEnv) primaries                         val argtycs0 = map (getTps argEnv) primaries
1423                         val argtycs = (* translate argtycs0 to ltys *)  
1424                           (* translate argtycs0 to ltys *)
1425                           val argtycs = map (primaryTyconToTyc penv0 d) argtycs0
1426    
1427                         val e2 = mkStr(penv0, arg, d)                         val e2 = mkStr(penv0, arg, d)
1428                      in APP(TAPP(e1, argtycs), e2)                      in APP(TAPP(e1, argtycs), e2)
1429                     end                     end

Legend:
Removed from v.3375  
changed lines
  Added in v.3376

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