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/plambda/pplexp.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/pplexp.sml

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

revision 2047, Thu Aug 24 19:09:41 2006 UTC revision 2048, Thu Aug 24 19:17:46 2006 UTC
# Line 28  Line 28 
28        open PLambda PrintUtil        open PLambda PrintUtil
29  in  in
30    
31    val depth = ref 20
32  val say = Control.Print.say  val say = Control.Print.say
33  fun sayrep rep = say (DA.prRep rep)  fun sayrep rep = say (DA.prRep rep)
34  val lvarName = LambdaVar.lvarName  val lvarName = LambdaVar.lvarName
# Line 111  Line 112 
112    end    end
113    
114  fun printLexp l =  fun printLexp l =
115    let fun prLty t = say (LT.lt_print t)    let fun prLty t = PPN.with_default_pp
116                            (fn ppstrm => (PPLty.ppLty (!depth) ppstrm t))
117        fun prTyc t = PPN.with_default_pp        fun prTyc t = PPN.with_default_pp
118                          (fn ppstrm => (PPLty.ppTyc 20 ppstrm t;                          (fn ppstrm => (PPLty.ppTyc (!depth) ppstrm t;
119                                         PPN.flushStream ppstrm))                                         PPN.flushStream ppstrm))
120                       (* say (LT.tc_print t) *)        fun prKnd k = PPN.with_default_pp
121        fun prKnd k = say (LT.tk_print k)                          (fn ppstrm => (PPLty.ppTKind (!depth) ppstrm k))
122    
123        fun plist (p, [], sep) = ()        fun plist (p, [], sep) = ()
124          | plist (p, a::r, sep) =          | plist (p, a::r, sep) =

Legend:
Removed from v.2047  
changed lines
  Added in v.2048

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