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/temi-branch/compiler/Elaborator/print/pptype.sml
ViewVC logotype

Diff of /sml/branches/temi-branch/compiler/Elaborator/print/pptype.sml

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

revision 3019, Tue May 6 20:25:44 2008 UTC revision 3020, Wed May 7 02:59:25 2008 UTC
# Line 193  Line 193 
193                 | RECORDtyc (_::_) =>  (* excepting type unit *)                 | RECORDtyc (_::_) =>  (* excepting type unit *)
194                   if Tuples.isTUPLEtyc(tycon) then 1 else 2                   if Tuples.isTUPLEtyc(tycon) then 1 else 2
195                 | _ => 2)                 | _ => 2)
196           | MARKty(ty, region) => strength ty
197         | _ => 2         | _ => 2
198    
199  fun ppEqProp ppstrm p =  fun ppEqProp ppstrm p =
# Line 344  Line 345 
345                           pps "]";                           pps "]";
346                           closeBox())                           closeBox())
347                     else ppType1 env ppstrm (body,sign, membersOp)                     else ppType1 env ppstrm (body,sign, membersOp)
348                   | MARKty(ty, region) => prty ty
349                 | WILDCARDty => pps "_"                 | WILDCARDty => pps "_"
350                 | UNDEFty => pps "undef"                 | UNDEFty => pps "undef"
351    

Legend:
Removed from v.3019  
changed lines
  Added in v.3020

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