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/kernel/ltybasic.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/kernel/ltybasic.sml

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

revision 1992, Wed Jul 26 15:22:19 2006 UTC revision 1993, Wed Jul 26 18:20:36 2006 UTC
# Line 24  Line 24 
24        val tcc_env = LK.tcc_env        val tcc_env = LK.tcc_env
25        val ltc_env = LK.ltc_env        val ltc_env = LK.ltc_env
26    
27    (* duplicated in ltykernel.sml *)
28    
29        val itos = Int.toString        val itos = Int.toString
30    
31        fun plist(p, []) = ""        fun plist(p, []) = ""
32          | plist(p, x::xs) =          | plist(p, x::xs) =
33              (p x) ^ (String.concat (map (fn z => ("," ^ (p z))) xs))              (p x) ^ (String.concat (map (fn z => ("," ^ (p z))) xs))
# Line 38  Line 41 
41    
42        fun parw(p, (ff, t1, t2)) =        fun parw(p, (ff, t1, t2)) =
43              "<" ^ (p t1) ^ "> -" ^ pfflag ff ^ "-> <" ^ (p t2) ^ ">"              "<" ^ (p t1) ^ "> -" ^ pfflag ff ^ "-> <" ^ (p t2) ^ ">"
44    
45  in  in
46    
47  open LtyDef  open LtyDef

Legend:
Removed from v.1992  
changed lines
  Added in v.1993

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