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/lsplit/ls-inline.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/lsplit/ls-inline.sml

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

revision 111, Fri Jun 5 19:37:29 1998 UTC revision 154, Sun Oct 11 22:22:47 1998 UTC
# Line 60  Line 60 
60                | build ([], _, _, _) = bug "build mismatch: too many types"                | build ([], _, _, _) = bug "build mismatch: too many types"
61                | build ((imp as (pid, tr)) :: rest, tyl, i, rvl) = let                | build ((imp as (pid, tr)) :: rest, tyl, i, rvl) = let
62                      val lc = cnt tr                      val lc = cnt tr
63                        fun copy fdec = let val F.FIX([fdec], F.RET[]) =
64                            FU.copy IntmapF.empty (F.FIX([fdec], F.RET[]))
65                        in fdec end
66                  in                  in
67                      case Option.map (FU.copy LV.mkLvar) (symLook pid) of                      case Option.map copy (symLook pid) of
68                          NONE => let                          NONE => let
69                              fun h (0, tyl, i, rvl) = build (rest, tyl, i, rvl)                              fun h (0, tyl, i, rvl) = build (rest, tyl, i, rvl)
70                                | h (n, ty :: tyl, i, rvl) = let                                | h (n, ty :: tyl, i, rvl) = let
# Line 100  Line 103 
103      fun inline args = let      fun inline args = let
104          val (e, i) = inline0 args          val (e, i) = inline0 args
105      in      in
106          (LContract.lcontract e, i)          ((* LContract.lcontract *) e, i)
107      end      end
108  end  end

Legend:
Removed from v.111  
changed lines
  Added in v.154

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