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/fixfix.sml
ViewVC logotype

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

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

revision 162, Tue Oct 27 22:16:21 1998 UTC revision 163, Thu Oct 29 21:00:27 1998 UTC
# Line 28  Line 28 
28      structure S = IntSetF      structure S = IntSetF
29      structure M = IntmapF      structure M = IntmapF
30      structure PP = PPFlint      structure PP = PPFlint
     structure LK = LtyKernel  
31      structure LT = LtyExtern      structure LT = LtyExtern
32        structure OU = OptUtils
33  in  in
34    
35  val say = Control.Print.say  val say = Control.Print.say
# Line 127  Line 127 
127    
128              (* create the new fkinds *)              (* create the new fkinds *)
129              val (fty,rtys') = getrtypes(args, NONE)              val (fty,rtys') = getrtypes(args, NONE)
130              val (nfk,nfk') =              val (nfk,nfk') = OU.fk_wrap(fk, rtys')
                 case fk  
                  of F.FK_FCT => (F.FK_FCT, F.FK_FCT)  
                   | F.FK_FUN {isrec,known,fixed,inline} =>  
                     let val fixed' =  
                             case fixed  
                              of LK.FF_VAR(f1,f2) => LK.FF_VAR(true, f2)  
                               | LK.FF_FIXED => LK.FF_FIXED  
 (*                      val rtys = Option.map (fn lty => #2(LT.ltd_fkfun lty)) *)  
 (*                                            fty *)  
                     in (F.FK_FUN{isrec=isrec, known=known,  
                               fixed=fixed, inline=true},  
                         F.FK_FUN{isrec=rtys', known=true,  
                               fixed=fixed', inline=inline})  
                     end  
131    
132              (* funarg renaming *)              (* funarg renaming *)
133              fun newargs fargs = map (fn (a,t) => (cplv a,t)) fargs              fun newargs fargs = map (fn (a,t) => (cplv a,t)) fargs

Legend:
Removed from v.162  
changed lines
  Added in v.163

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