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/src/compiler/FLINT/opt/fcontract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/opt/fcontract.sml

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

revision 1333, Thu May 22 17:12:13 2003 UTC revision 1334, Thu May 22 22:46:30 2003 UTC
# Line 787  Line 787 
787                      ({cconv=F.CC_FCT,inline=F.IH_SAFE,isrec=NONE,known=false},                      ({cconv=F.CC_FCT,inline=F.IH_SAFE,isrec=NONE,known=false},
788                       mklv(), [],                       mklv(), [],
789                       F.TFN((tfk, g, args, body), F.TAPP(F.VAR g, tycs)))                       F.TFN((tfk, g, args, body), F.TAPP(F.VAR g, tycs)))
790                  val F.LET(_,nprog,F.RET _) = #4(Specialize.specialize prog)              in
791              in PP.printLexp nprog; nprog end                  case #4(Specialize.specialize prog) of
792                        F.LET(_,nprog,F.RET _) => (PP.printLexp nprog; nprog)
793                      | _ => bug "specialize"
794                end
795    
796      in case (tfnInline,svf)      in case (tfnInline,svf)
797          of (true,TFun(g,body,args,tfk as {inline,...})) =>          of (true,TFun(g,body,args,tfk as {inline,...})) =>

Legend:
Removed from v.1333  
changed lines
  Added in v.1334

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