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-3/compiler/Semant/pickle/pickmod.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Semant/pickle/pickmod.sml

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

revision 3343, Thu May 14 16:29:06 2009 UTC revision 3344, Fri May 15 12:52:07 2009 UTC
# Line 1195  Line 1195 
1195              val op $ = PU.$ FE              val op $ = PU.$ FE
1196              fun fe (M.VARfct s) = "o" $ [entPath s]              fun fe (M.VARfct s) = "o" $ [entPath s]
1197                | fe (M.CONSTfct e) = "p" $ [fctEntity e]                | fe (M.CONSTfct e) = "p" $ [fctEntity e]
1198                | fe (M.LAMBDA { param, paramRlzn, body }) =                | fe (M.LAMBDA { param, primaries, paramRlzn, body }) =
1199                  "q" $ [entVar param, strEntity paramRlzn, strExp body]                  "q" $ [entVar param, list tycon primaries, strEntity paramRlzn,
1200                           strExp body]
1201                | fe (M.LETfct (e, f)) = "s" $ [entityDec e, fctExp f]                | fe (M.LETfct (e, f)) = "s" $ [entityDec e, fctExp f]
1202          in          in
1203              fe arg              fe arg
# Line 1251  Line 1252 
1252    
1253          and shStrEntity id = share (STRs id) strEntity          and shStrEntity id = share (STRs id) strEntity
1254    
1255          and fctEntity { stamp = s, paramRlzn = e,          and fctEntity { stamp = s, primaries = t, paramRlzn = e,
1256                          closure, properties, (* tycpath,*) rpath, stub } =                          closure, properties, (* tycpath,*) rpath, stub } =
1257              let val op $ = PU.$ FEN              let val op $ = PU.$ FEN
1258              in              in
1259                  "f" $ ([stamp s, strEntity e,                  "f" $ ([stamp s, list tycon t, strEntity e,
1260                          fctClosure closure,                          fctClosure closure,
1261                          ipath rpath]                          ipath rpath]
1262                         @ libPid (stub: M.stubinfo option, #owner))                         @ libPid (stub: M.stubinfo option, #owner))

Legend:
Removed from v.3343  
changed lines
  Added in v.3344

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