Return to printutil.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / basics

Annotation of researchv10no/cmd/sml/src/basics/printutil.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: structure PrintUtil : PRINTUTIL = struct
                      3: 
                      4:   structure Symbol : SYMBOL = Symbol
                      5: 
                      6:   fun newline () = print "\n"
                      7:   fun tab 0 = () | tab n = (print " "; tab(n-1))
                      8: 
                      9:   fun printSequence (separator: string) pr elems =
                     10:       let fun prElems [el] = pr el
                     11:            | prElems (el::rest) = (pr el; print separator; prElems rest)
                     12:            | prElems [] = ()
                     13:        in prElems elems
                     14:       end
                     15: 
                     16:   fun printClosedSequence (front: string, sep, back:string) pr elems =
                     17:       (print front; printSequence sep pr elems; print back)
                     18: 
                     19:   fun printSym(s: Symbol.symbol) = print(Symbol.name s)
                     20:       (* fix -- maybe this belongs in Symbol *)
                     21: 
                     22:   fun formatQid p =
                     23:     let fun f [s] = [Symbol.name s]
                     24:           | f (a::r) = Symbol.name a :: "." :: f r
                     25:      in implode(f p)
                     26:     end
                     27: 
                     28:   val stringDepth = System.Control.Print.stringDepth
                     29:   local
                     30:   fun decimal i = let val m = Integer.makestring
                     31:                  in  m(i div 100)^m((i div 10)mod 10)^m(i mod 10) end
                     32:   val ctrl_a = 1
                     33:   val ctrl_z = 26
                     34:   val offset = ord "A" - ctrl_a
                     35:   val smallestprintable = ord " "
                     36:   val biggestprintable = ord "~"
                     37:   fun ml_char "\n" = "\\n"
                     38:     | ml_char "\t" = "\\t"
                     39:     | ml_char "\\" = "\\\\"
                     40:     | ml_char "\"" = "\\\""
                     41:     | ml_char c =
                     42:          let val char = ord c
                     43:          in  if char >= ctrl_a andalso char <= ctrl_z
                     44:              then "\\^" ^ chr(char+offset)
                     45:              else if char >= smallestprintable andalso char <= biggestprintable
                     46:                   then c
                     47:              else "\\" ^ decimal char
                     48:          end
                     49:   in
                     50:       fun mlstr s = "\"" ^ implode(map ml_char (explode s)) ^ "\""
                     51:       fun pr_mlstr s =
                     52:          let val depth = !stringDepth
                     53:              fun pr i =
                     54:                  if i=depth then print "#"
                     55:                  else (let val ch = substring(s,i,1)
                     56:                        in  print(ml_char ch); pr (i+1)
                     57:                        end handle Substring => ())
                     58:          in print "\""; pr 0; print "\""
                     59:          end
                     60: 
                     61:     fun nlindent n = (newline(); tab n)
                     62: 
                     63:     fun printvseq ind (sep:string) pr elems =
                     64:        let fun prElems [el] = pr el
                     65:              | prElems (el::rest) = (pr el; nlindent ind; print sep; prElems rest)
                     66:              | prElems [] = ()
                     67:         in prElems elems
                     68:        end
                     69: 
                     70:   end (* local *)
                     71: 
                     72: end (* structure PrintUtil *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.