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

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

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

revision 217, Sun Feb 28 23:41:30 1999 UTC revision 218, Tue Mar 2 08:12:06 1999 UTC
# Line 420  Line 420 
420       | LK.TK_BOX => ltc_int       | LK.TK_BOX => ltc_int
421       | LK.TK_SEQ ks => ltc_tuple (map tk_lty ks)       | LK.TK_SEQ ks => ltc_tuple (map tk_lty ks)
422       | LK.TK_FUN (ks, k) =>       | LK.TK_FUN (ks, k) =>
423           ltc_arrow(ffc_fixed, [ltc_tuple(map tk_lty ks)], [tk_lty k]))           ltc_arrow(ffc_fixed, map tk_lty ks, [tk_lty k]))
424    
425    
426  (* tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit->unit)) *)  (* tnarrow_gen : unit -> ((tyc -> tyc) * (lty -> lty) * (unit->unit)) *)
# Line 440  Line 440 
440             | LK.LT_STR ts => ltc_str (map ltf ts)             | LK.LT_STR ts => ltc_str (map ltf ts)
441             | LK.LT_FCT (ts1, ts2) => ltc_fct(map ltf ts1, map ltf ts2)             | LK.LT_FCT (ts1, ts2) => ltc_fct(map ltf ts1, map ltf ts2)
442             | LK.LT_POLY (ks, xs) =>             | LK.LT_POLY (ks, xs) =>
443                 ltc_fct([ltc_str (map tk_lty ks)], map ltf xs)                 ltc_fct(map tk_lty ks, map ltf xs)
444             | LK.LT_CONT _ => bug "unexpected CNTs in ltNarrow"             | LK.LT_CONT _ => bug "unexpected CNTs in ltNarrow"
445             | LK.LT_IND _ => bug "unexpected INDs in ltNarrow"             | LK.LT_IND _ => bug "unexpected INDs in ltNarrow"
446             | LK.LT_ENV _ => bug "unexpected ENVs in ltNarrow")             | LK.LT_ENV _ => bug "unexpected ENVs in ltNarrow")

Legend:
Removed from v.217  
changed lines
  Added in v.218

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