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

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

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

revision 2510, Sat May 5 13:10:15 2007 UTC revision 2511, Sat May 5 13:11:22 2007 UTC
# Line 697  Line 697 
697                   ppTycon env ppstrm tycon)                   ppTycon env ppstrm tycon)
698      end (* ppTycBind *)      end (* ppTycBind *)
699    
700  and ppReplBind ppstrm  and ppReplBind ppstrm =
701       (T.DEFtyc{tyfun=T.TYFUN{body=T.CONty(rightTyc,_),...},path,...},env) =      let
702      let val {openHVBox, openHOVBox,closeBox,pps,ppi,break,newline} = en_pp ppstrm          val {openHVBox, openHOVBox,closeBox,pps,ppi,break,newline} =
703       in openHOVBox 2;                en_pp ppstrm
704        in
705            fn (T.DEFtyc{tyfun=T.TYFUN{body=T.CONty(rightTyc,_),...},path,...},
706                env) =>
707               (* [GK 5/4/07] Does this case ever occur? All datatype
708                  replication tycs are GENtycs after elaboration *)
709               (openHOVBox 2;
710          pps "datatype"; break{nsp=1,offset=0};          pps "datatype"; break{nsp=1,offset=0};
711          ppSym ppstrm (IP.last path);          ppSym ppstrm (IP.last path);
712          pps " ="; break{nsp=1,offset=0};          pps " ="; break{nsp=1,offset=0};
713          pps "datatype"; break{nsp=1,offset=0};          pps "datatype"; break{nsp=1,offset=0};
714          ppTycon env ppstrm rightTyc;          ppTycon env ppstrm rightTyc;
715          closeBox ()              closeBox ())
716      end           | (tyc as T.GENtyc{stamp, arity, eq, kind, path, stub}, env) =>
717    | ppReplBind _ _ = ErrorMsg.impossible "ppReplBind"             (openHOVBox 2;
718                pps "datatype"; break{nsp=1,offset=0};
719                ppSym ppstrm (IP.last path);
720                pps " ="; break{nsp=1,offset=0};
721                ppTycBind ppstrm (tyc, env);
722                closeBox())
723             | (T.PATHtyc _, _) => ErrorMsg.impossible "<replbind:PATHtyc>"
724             | (T.RECtyc _, _) => ErrorMsg.impossible "<replbind:RECtyc>"
725             | (T.FREEtyc _, _) => ErrorMsg.impossible "<replbind:FREEtyc>"
726             | _ => ErrorMsg.impossible "ppReplBind"
727        end (* fun ppReplBind *)
728    
729  and ppEntity ppstrm (entity,env,depth) =  and ppEntity ppstrm (entity,env,depth) =
730      case entity      case entity

Legend:
Removed from v.2510  
changed lines
  Added in v.2511

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