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/Elaborator/elaborate/elabmod.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/elaborate/elabmod.sml

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

revision 2408, Mon Apr 16 06:10:46 2007 UTC revision 2413, Mon Apr 16 23:26:31 2007 UTC
# Line 478  Line 478 
478                      SE.foldOverElems seems to fix this problem. We can                      SE.foldOverElems seems to fix this problem. We can
479                      now compute the elements (specs) in the correct                      now compute the elements (specs) in the correct
480                      order on the consolidated list. *)                      order on the consolidated list. *)
         val envSymInOrder = SE.symbols env  
481          val cenv = SE.consolidate env          val cenv = SE.consolidate env
482          val (elements, entEnv, entDecl, trans, _, fctflag) =          val (elements, entEnv, entDecl, trans, _, fctflag) =
483            SE.foldOverElems(transBind,(nil, EE.empty, [], [], 0, false),cenv,            SE.foldOrigOrder(transBind,(nil, EE.empty, [], [], 0, false),cenv)
                            envSymInOrder)  
484       in (rev elements, entEnv, rev entDecl, rev trans, fctflag)       in (rev elements, entEnv, rev entDecl, rev trans, fctflag)
485      end      end
486    
# Line 562  Line 560 
560            val (elements, entEnv'', entDecls, locations, fctflag) =            val (elements, entEnv'', entDecls, locations, fctflag) =
561                  extractSig(env', epContext', context, compInfo)                  extractSig(env', epContext', context, compInfo)
562            val _ = debugmsg "--elab[BaseStr]: extractSig done"            val _ = debugmsg "--elab[BaseStr]: extractSig done"
   
563            val (entEnvLocal, entDecLocal) =            val (entEnvLocal, entDecLocal) =
564                case context                case context
565                 of EU.INFCT _ =>                 of EU.INFCT _ =>
# Line 1511  Line 1508 
1508                    val (datatycs,withtycs,_,env) =                    val (datatycs,withtycs,_,env) =
1509                      ET.elabDATATYPEdec(x, env0, [], EE.empty, isFree, rpath,                      ET.elabDATATYPEdec(x, env0, [], EE.empty, isFree, rpath,
1510                                         region, compInfo)                                         region, compInfo)
1511                      val _ = debugPrint("elabDecl0 DatatypeDec: ", ED.ppSymList,
1512                                         ED.envSymbols env)
1513                    val (entEnv, entDec) =                    val (entEnv, entDec) =
1514                      bindNewTycs(context, epContext, mkStamp,                      bindNewTycs(context, epContext, mkStamp,
1515                                  datatycs, withtycs, rpath, error region)                                  datatycs, withtycs, rpath, error region)
# Line 1545  Line 1544 
1544                                             SE.empty dcons                                             SE.empty dcons
1545                                   val env = SE.bind(name, B.TYCbind tyc,                                   val env = SE.bind(name, B.TYCbind tyc,
1546                                                     envDcons)                                                     envDcons)
1547                                     val _ = debugPrint("elabDecl0 DAT DatatypeDec: ", ED.ppSymList,
1548                                                        ED.envSymbols env)
1549                                   val ev = mkStamp()                                   val ev = mkStamp()
1550                                   val tyc_id = MU.tycId tyc                                   val tyc_id = MU.tycId tyc
1551                                   val (ee_dec,ee_env) =                                   val (ee_dec,ee_env) =

Legend:
Removed from v.2408  
changed lines
  Added in v.2413

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