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/FLINT/trans/transtypes.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/transtypes.sml

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

revision 2013, Fri Aug 11 04:09:23 2006 UTC revision 2014, Fri Aug 11 20:42:24 2006 UTC
# Line 66  Line 66 
66      structure PPN = PrettyPrintNew      structure PPN = PrettyPrintNew
67  in  in
68  fun ppLtyc ltyc =  fun ppLtyc ltyc =
69      PPN.with_default_pp (fn ppstrm => PPLTy.ppTyc ppstrm ltyc)      PPN.with_default_pp (fn ppstrm => PPLty.ppTyc 20 ppstrm ltyc)
70  end  end
71    
72  (****************************************************************************  (****************************************************************************

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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