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/print/ppabsyn.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/Elaborator/print/ppabsyn.sml

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

revision 3321, Wed May 6 22:40:39 2009 UTC revision 3322, Wed May 6 22:47:35 2009 UTC
# Line 83  Line 83 
83        (case sg        (case sg
84           of M.SIG{name=SOME name,...} => name           of M.SIG{name=SOME name,...} => name
85            | _ => S.sigSymbol "<anonsig>")            | _ => S.sigSymbol "<anonsig>")
86    | bindingName(B.STRbind str) = InvPath.last(ModuleUtil.getStrName str)    | bindingName(B.STRbind str) = (InvPath.last(ModuleUtil.getStrName str) handle InvPath.InvPath => bug "ppabsyn:bindingName")
87    | bindingName(B.FSGbind fsig) = S.fsigSymbol "<fctsig>"    | bindingName(B.FSGbind fsig) = S.fsigSymbol "<fctsig>"
88    | bindingName(B.FCTbind fct) =    | bindingName(B.FCTbind fct) =
89        (case fct        (case fct
90           of M.FCT{rlzn={rpath,...},...} => InvPath.last(rpath)           of M.FCT{rlzn={rpath,...},...} => (if InvPath.null(rpath) then S.sigSymbol "<null>" else InvPath.last(rpath) handle InvPath.InvPath => bug "ppabsyn:bindingName 2")
91            | _ => defaultName)            | _ => defaultName)
92    | bindingName _ = defaultName    | bindingName _ = defaultName
93    
# Line 557  Line 557 
557                       | 1 => (pps "'a ")                       | 1 => (pps "'a ")
558                       | n => (ppTuple ppstrm PP.string (typeFormals n);                       | n => (ppTuple ppstrm PP.string (typeFormals n);
559                               pps " ");                               pps " ");
560                     ppSym ppstrm (InvPath.last path);                     ppSym ppstrm (InvPath.last path handle InvPath.InvPath => bug "ppabsyn:ppDec");
561                     pps " = "; ppType env ppstrm body)                     pps " = "; ppType env ppstrm body)
562                  | f _ _ = bug "ppDec'(TYPEdec)"                  | f _ _ = bug "ppDec'(TYPEdec)"
563            in            in
# Line 574  Line 574 
574                            | 1 => (pps "'a ")                            | 1 => (pps "'a ")
575                            | n => (ppTuple ppstrm PP.string (typeFormals n);                            | n => (ppTuple ppstrm PP.string (typeFormals n);
576                                    pps " ");                                    pps " ");
577                          ppSym ppstrm (InvPath.last path); pps " = ..."(*;                          ppSym ppstrm (InvPath.last path handle InvPath.InvPath => bug "ppabsyn:ppDec' 2"); pps " = ..."(*;
578                          ppSequence ppstrm                          ppSequence ppstrm
579                          {sep=(fn ppstrm => (PP.string ppstrm " |";                          {sep=(fn ppstrm => (PP.string ppstrm " |";
580                                              break ppstrm {nsp=1,offset=0})),                                              break ppstrm {nsp=1,offset=0})),
# Line 590  Line 590 
590                       | 1 => (pps "'a ")                       | 1 => (pps "'a ")
591                       | n => (ppTuple ppstrm PP.string (typeFormals n);                       | n => (ppTuple ppstrm PP.string (typeFormals n);
592                               pps " ");                               pps " ");
593                     ppSym ppstrm (InvPath.last path);                     ppSym ppstrm (InvPath.last path handle InvPath.InvPath => bug "ppabsyn:ppWITH");
594                     pps " = "; ppType env ppstrm body)                     pps " = "; ppType env ppstrm body)
595                  | ppWITH _ _ = bug "ppDec'(DATATYPEdec) 2"                  | ppWITH _ _ = bug "ppDec'(DATATYPEdec) 2"
596            in            in

Legend:
Removed from v.3321  
changed lines
  Added in v.3322

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