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/trunk/src/compiler/FLINT/kernel/ltybasic.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltybasic.sml

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

revision 101, Thu May 14 04:56:46 1998 UTC revision 102, Thu May 14 05:53:10 1998 UTC
# Line 197  Line 197 
197    
198        fun g (LK.LT_TYC t) = tc_print t        fun g (LK.LT_TYC t) = tc_print t
199          | g (LK.LT_STR zs) = "S{" ^ (plist(lt_print, zs)) ^ "}"          | g (LK.LT_STR zs) = "S{" ^ (plist(lt_print, zs)) ^ "}"
         | g (LK.LT_PST zs) = "PS{" ^ (plist(h, zs)) ^ "}"  
200          | g (LK.LT_FCT (ts1,ts2)) =          | g (LK.LT_FCT (ts1,ts2)) =
201               "(" ^ (plist(lt_print, ts1)) ^ ") ==> ("               "(" ^ (plist(lt_print, ts1)) ^ ") ==> ("
202                   ^ (plist(lt_print, ts2)) ^ ")"                   ^ (plist(lt_print, ts2)) ^ ")"

Legend:
Removed from v.101  
changed lines
  Added in v.102

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