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

Diff of /sml/trunk/compiler/FLINT/trans/translate.sml

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

revision 4812, Wed Sep 12 21:56:57 2018 UTC revision 4813, Wed Sep 12 23:55:25 2018 UTC
# Line 721  Line 721 
721          val extra_arg_lt =          val extra_arg_lt =
722              if coerceFnName = "finToInf" then              if coerceFnName = "finToInf" then
723                LT.ltc_arrow(LT.ffc_var(true,false),                LT.ltc_arrow(LT.ffc_var(true,false),
724                             [lt_int32 ,LT.ltc_bool], [res_lt])                             [lt_int32 ,LT.ltc_bool], [res_lt])   (* 64BIT: FIXME *)
725              else LT.ltc_parrow(lt_int32, res_lt)              else LT.ltc_parrow(lt_int32, res_lt)                (* 64BIT: FIXME *)
726          val new_arg_lt = LT.ltc_tuple [orig_arg_lt, extra_arg_lt]          val new_arg_lt = LT.ltc_tuple [orig_arg_lt, extra_arg_lt]
727          val new_lt = LT.ltc_parrow (new_arg_lt, res_lt )          val new_lt = LT.ltc_parrow (new_arg_lt, res_lt )
728          val x = mkv ()          val x = mkv ()

Legend:
Removed from v.4812  
changed lines
  Added in v.4813

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