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

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

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

revision 2884, Thu Nov 15 22:35:18 2007 UTC revision 2885, Thu Nov 15 22:43:51 2007 UTC
# Line 141  Line 141 
141            | FLEXTYC _ => "FLEXTYC" | ABSTRACT _ => "ABSTYC"            | FLEXTYC _ => "FLEXTYC" | ABSTRACT _ => "ABSTYC"
142            | DATATYPE _ => "DATATYPE" | TEMP => "TEMP")            | DATATYPE _ => "DATATYPE" | TEMP => "TEMP")
143  *)  *)
144  fun ppkind ppstrm (FLEXTYC tp) =  fun ppkind ppstrm kind =
     pps ppstrm  
     (case tp  
       of TP_VAR _ => "XV"  
        | TP_SEL _ => "XS"  
        | TP_APP _ => "XA"  
        | TP_FCT _ => "XF"  
        | TP_TYC _ => "XT")  
   | ppkind ppstrm kind =  
145      pps ppstrm      pps ppstrm
146        (case kind        (case kind
147           of PRIMITIVE _ => "P" | FORMAL => "F"           of PRIMITIVE _ => "P" | FORMAL => "F"
148            | FLEXTYC _ => bug "ppkind" | ABSTRACT _ => "A"            | FLEXTYC _ => "X" | ABSTRACT _ => "A"
149            | DATATYPE _ => "D" | TEMP => "T")            | DATATYPE _ => "D" | TEMP => "T")
150    
151  fun effectivePath(path,tyc,env) : string =  fun effectivePath(path,tyc,env) : string =

Legend:
Removed from v.2884  
changed lines
  Added in v.2885

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