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

Diff of /sml/branches/primop-branch-2/src/compiler/Elaborator/print/pptype.sml

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

revision 2053, Mon Aug 28 05:12:11 2006 UTC revision 2054, Mon Aug 28 22:57:54 2006 UTC
# Line 128  Line 128 
128              annotate(litKindPrintName kind,"L",NONE)              annotate(litKindPrintName kind,"L",NONE)
129            | SCHEME eq =>            | SCHEME eq =>
130              tvHead(eq,annotate(metaTyvarName tyvar,"S",NONE))              tvHead(eq,annotate(metaTyvarName tyvar,"S",NONE))
131            | TV_MARK _ => "<TV_MARK ?>"            | TV_MARK(d,i) => "<TVM"^Int.toString d^"."^Int.toString i^">"
132  in  in
133      prKind (!tyvar)      prKind (!tyvar)
134  end  end

Legend:
Removed from v.2053  
changed lines
  Added in v.2054

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