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

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/opt/fixfix.sml

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

revision 2013, Fri Aug 11 04:09:23 2006 UTC revision 2014, Fri Aug 11 20:42:24 2006 UTC
# Line 109  Line 109 
109                * if they are the head of the function or if the head                * if they are the head of the function or if the head
110                * is already recursive *)                * is already recursive *)
111               of ((SOME{isrec=NONE,...},{isrec=SOME _,...}) |               of ((SOME{isrec=NONE,...},{isrec=SOME _,...}) |
112                   (SOME{cconv=F.CC_FCT,...},{cconv=F.CC_FUN (LK.FF_VAR _),...}) |                   (SOME{cconv=F.CC_FCT,...},{cconv=F.CC_FUN (Lty.FF_VAR _),...}) |
113                   (SOME{cconv=F.CC_FUN _,...},{cconv=F.CC_FCT,...})) =>                   (SOME{cconv=F.CC_FUN _,...},{cconv=F.CC_FCT,...})) =>
114                  ([], le)                  ([], le)
115                | _ =>                | _ =>
# Line 140  Line 140 
140                  case #cconv(#1(hd args))                  case #cconv(#1(hd args))
141                   of F.CC_FCT => F.CC_FCT                   of F.CC_FCT => F.CC_FCT
142                    | _ => case #cconv(#1(List.last args))                    | _ => case #cconv(#1(List.last args))
143                            of F.CC_FUN(LK.FF_VAR(_,raw)) =>                            of F.CC_FUN(Lty.FF_VAR(_,raw)) =>
144                               F.CC_FUN(LK.FF_VAR(true, raw))                               F.CC_FUN(Lty.FF_VAR(true, raw))
145                             | cconv => cconv                             | cconv => cconv
146              val (nfk,nfk') = OU.fk_wrap(fk, foldl getrtypes NONE args)              val (nfk,nfk') = OU.fk_wrap(fk, foldl getrtypes NONE args)
147              val nfk' = {inline= #inline nfk', isrec= #isrec nfk',              val nfk' = {inline= #inline nfk', isrec= #isrec nfk',

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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