Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/cleanParam.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/cleanParam.sml

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

revision 3382, Sat Nov 7 03:51:29 2015 UTC revision 3383, Mon Nov 9 02:39:26 2015 UTC
# Line 57  Line 57 
57                  end                  end
58              | _ =>  m(ix,j,mapp,p, params, a, arg)              | _ =>  m(ix,j,mapp,p, params, a, arg)
59              (*end case*))              (*end case*))
60          | m _ = raise Fail ("incorrect number of params")  | m (_,_,_,_,_,_,[]) = raise Fail (String.concat["incorrect number of params:more params:",Int.toString(n),
61    "args:",Int.toString(length(args))])
62    | m (_,_,_,_,[],_,_) = raise Fail ("incorrect number of params:more args")
63    (*| m _ = raise Fail ("incorrect number of params:unsure")*)
64          val _ =testp["ix created up to",iTos(n),"length of params",          val _ =testp["ix created up to",iTos(n),"length of params",
65                  iTos(length params),"lengths of args",iTos(length args)]                  iTos(length params),"lengths of args",iTos(length args)]
66          val  (mapp,Nparams,Nargs)=m(ix, 0, empty, [],params,[],args)          val  (mapp,Nparams,Nargs)=m(ix, 0, empty, [],params,[],args)
# Line 156  Line 159 
159      *cleans params      *cleans params
160      *)      *)
161      fun cleanParams(y,body,params,index,args)=let      fun cleanParams(y,body,params,index,args)=let
162          val _ =testp["\n Cleaning e ",P.printbody body]          val _ =(String.concat["\n Cleaning e ",P.printbody body])
163          val countmapp=getIdCount body          val countmapp=getIdCount body
164          val (mapp,Nparams,Nargs)=mkMapp(countmapp,params,args)          val (mapp,Nparams,Nargs)=mkMapp(countmapp,params,args)
165          val Nargs =List.map (fn e=> use e) Nargs          val Nargs =List.map (fn e=> use e) Nargs

Legend:
Removed from v.3382  
changed lines
  Added in v.3383

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