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/src/compiler/Execution/binfile/binfile.sml
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/Execution/binfile/binfile.sml

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

revision 1470, Mon Mar 29 22:45:55 2004 UTC revision 1471, Mon Mar 29 22:45:55 2004 UTC
# Line 475  Line 475 
475          { env = es, inlinfo = lambdaSz, data = datasz, code = cs }          { env = es, inlinfo = lambdaSz, data = datasz, code = cs }
476      end      end
477    
478      fun exec (BF { imports, exportPid, executable, csegments, ... }, dynenv) =      fun exec (BF { imports, exportPid, executable, csegments, ... },
479                  dynenv, exnwrapper) =
480          let val executable =          let val executable =
481                  case !executable of                  case !executable of
482                      SOME e => e                      SOME e => e
483                    | NONE => let                    | NONE => let
484                          val e = Isolate.isolate (Execute.mkexec csegments)                          val e = Isolate.isolate
485                                        (Execute.mkexec
486                                             { cs = csegments,
487                                               exnwrapper = exnwrapper })
488                      in executable := SOME e; e                      in executable := SOME e; e
489                      end                      end
490          in          in

Legend:
Removed from v.1470  
changed lines
  Added in v.1471

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