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/trunk/src/compiler/MiscUtil/print/ppdec.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/MiscUtil/print/ppdec.sml

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

revision 1189, Fri May 10 20:40:33 2002 UTC revision 1190, Mon May 13 20:39:05 2002 UTC
# Line 79  Line 79 
79         fun trueTycon (path: IP.path) =         fun trueTycon (path: IP.path) =
80              let val err = fn _ => fn _ => fn _ => (bug "trueTycon: unbound ")              let val err = fn _ => fn _ => fn _ => (bug "trueTycon: unbound ")
81               in case Lookup.lookTyc(static,ConvertPaths.invertIPath(path),err)               in case Lookup.lookTyc(static,ConvertPaths.invertIPath(path),err)
82                    of tyc as DEFtyc _ => tyc                    of DEFtyc x => SOME x
83                     | _ => bug "trueTycon: not a DEFtyc"                     | _ => NONE
84              end              end
85    
86         fun isLazyBogus (SymPath.SPATH path) =         fun isLazyBogus (SymPath.SPATH path) =
# Line 143  Line 143 
143    
144         and ppRvb (RVB{var, ...}) = ppVar var         and ppRvb (RVB{var, ...}) = ppVar var
145    
146         and ppTb(DEFtyc{path,...}) =         and ppTb (DEFtyc dt) =
147              let val {path,tyfun=TYFUN{arity,body},...} =              let val {path,tyfun=TYFUN{arity,body},...} =
148                      case trueTycon path of                     getOpt (trueTycon (#path dt), dt)
                         DEFtyc x => x  
                       | _ => bug "ppTb:trueTycon"  
149              in              in
150                  begin_block ppstrm CONSISTENT 0;                  begin_block ppstrm CONSISTENT 0;
151                  begin_block ppstrm INCONSISTENT 2;                  begin_block ppstrm INCONSISTENT 2;

Legend:
Removed from v.1189  
changed lines
  Added in v.1190

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