Searched +refs:print +refs:objects +refs:pretty (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml34 This contains the top-level read-eval-print loop as well as "use" and
113 (* Install a pretty printer for parsetree properties. This isn't done in
119 (* Use prettyRepresentation to print most of the arguments *)
155 Provides a default stream for other output. Default: TextIO.print *)
159 { message: PolyML.pretty, hard: bool, location: PolyML.location, context: PolyML.pretty option } -> unit
166 Default: print this to CPOutStream value using CPLineNo and CPFileName. *)
187 Default: print and enter the values into CPNameSpace. *)
209 is also bound into any use of PolyML.print in the compiled code and will
210 be called to get the print dept
[all...]
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DCODEGEN_PARSETREE.sml558 | codeGenerate(TupleTree{fields, ...}, context as { debugEnv, ...}) = (* Construct a vector of objects. *)
975 copy of it. It contains a function to print values
976 of the type so when we raise the exception we can print
999 let (* Code-generate the eq and print functions for the abstype first
1179 print(concat[name, " is ", Int.toString nPolyVars, "-ary\n"])*)
1595 This is really to deal with pathological cases and pretty well all

Completed in 45 milliseconds