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

Diff of /sml/trunk/src/compiler/Elaborator/print/pptype.sml

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

revision 1335, Tue May 27 21:54:23 2003 UTC revision 1336, Tue Jun 17 20:36:59 2003 UTC
# Line 28  Line 28 
28    
29  local  local
30        structure SP = SymPath        structure SP = SymPath
31          structure IP = InvPath
32        structure BT = BasicTypes        structure BT = BasicTypes
33        structure T = Types        structure T = Types
34        structure TU = TypesUtil        structure TU = TypesUtil
# Line 45  Line 46 
46    
47  val internals = ElabControl.internals  val internals = ElabControl.internals
48    
49    val unitPath = IP.extend(IP.empty,Symbol.tycSymbol "unit")
50    
51  fun boundTyvarName k =  fun boundTyvarName k =
52      let val a = Char.ord #"a"      let val a = Char.ord #"a"
53       in if k < 26       in if k < 26
# Line 341  Line 344 
344                   pr=fn _ => fn ty => prty ty}                   pr=fn _ => fn ty => prty ty}
345                  tys                  tys
346    
347          and ppTUPLEty [] = pps "unit"          and ppTUPLEty [] = pps(effectivePath(unitPath,RECORDtyc [],env))
348            | ppTUPLEty tys =            | ppTUPLEty tys =
349                ppSequence ppstrm                ppSequence ppstrm
350                   {sep = fn ppstrm => (PP.add_break ppstrm (1,0);                   {sep = fn ppstrm => (PP.add_break ppstrm (1,0);
# Line 363  Line 366 
366                                 prty ty;                                 prty ty;
367                                 end_block())                                 end_block())
368    
369          and ppRECORDty([],[]) = pps "unit"          and ppRECORDty([],[]) = pps(effectivePath(unitPath,RECORDtyc [],env))
370                  (* this case should not occur *)
371            | ppRECORDty(lab::labels, arg::args) =            | ppRECORDty(lab::labels, arg::args) =
372                (begin_block PP.INCONSISTENT 1;                (begin_block PP.INCONSISTENT 1;
373                 pps "{";                 pps "{";

Legend:
Removed from v.1335  
changed lines
  Added in v.1336

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