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 101, Thu May 14 04:56:46 1998 UTC revision 102, Thu May 14 05:53:10 1998 UTC
# Line 352  Line 352 
352    (case lt_out t    (case lt_out t
353      of LK.LT_STR ts =>      of LK.LT_STR ts =>
354           ((List.nth(ts, i)) handle _ => bug "incorrect LT_STR in lt_select")           ((List.nth(ts, i)) handle _ => bug "incorrect LT_STR in lt_select")
      | LK.LT_PST ts =>  
          let fun h [] = bug "incorrect LT_PST in lt_select"  
                | h ((j,a)::r) = if i=j then a else h r  
           in h ts  
          end  
355       | LK.LT_TYC tc => ltc_tyc(tc_select(tc, i))       | LK.LT_TYC tc => ltc_tyc(tc_select(tc, i))
356       | _ => bug "incorrect lambda types in lt_select")       | _ => bug "incorrect lambda types in lt_select")
357    
# Line 443  Line 438 
438          (case lt_out t          (case lt_out t
439            of LK.LT_TYC tc => ltc_tyc (tcf tc)            of LK.LT_TYC tc => ltc_tyc (tcf tc)
440             | LK.LT_STR ts => ltc_str (map ltf ts)             | LK.LT_STR ts => ltc_str (map ltf ts)
            | LK.LT_PST its => ltc_pst (map (fn (i, t) => (i, ltf t)) its)  
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([ltc_str (map tk_lty ks)], map ltf xs)
# Line 520  Line 514 
514             | LK.LT_STR ts => ltc_str (map ltf ts)             | LK.LT_STR ts => ltc_str (map ltf ts)
515             | 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)
516             | LK.LT_POLY (ks, xs) => ltc_poly(ks, map ltf xs)             | LK.LT_POLY (ks, xs) => ltc_poly(ks, map ltf xs)
            | LK.LT_PST its => ltc_pst (map (fn (i, t) => (i, ltf t)) its)  
517             | LK.LT_CONT _ => bug "unexpected CNTs in lt_umap"             | LK.LT_CONT _ => bug "unexpected CNTs in lt_umap"
518             | LK.LT_IND _ => bug "unexpected INDs in lt_umap"             | LK.LT_IND _ => bug "unexpected INDs in lt_umap"
519             | LK.LT_ENV _ => bug "unexpected ENVs in lt_umap")             | LK.LT_ENV _ => bug "unexpected ENVs in lt_umap")

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