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

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

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

revision 2388, Sat Apr 7 14:10:04 2007 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 120  Line 120 
120  val ltc_bool   = ltc_tyc tcc_bool  val ltc_bool   = ltc_tyc tcc_bool
121    
122  val ltc_tv     = ltc_tyc o tcc_tv  val ltc_tv     = ltc_tyc o tcc_tv
123  val ltc_ref    = ltc_tyc o tcc_ref o ltd_tyc  val ltc_ref    = fn x => (ltc_tyc o tcc_ref o ltd_tyc) x handle DeconExn => bug "ltc_ref on Poly"
124  val ltc_array  = ltc_tyc o tcc_array o ltd_tyc  val ltc_array  = fn x => (ltc_tyc o tcc_array o ltd_tyc) x handle DeconExn => bug "ltc_array on Poly"
125  val ltc_vector = ltc_tyc o tcc_vector o ltd_tyc  val ltc_vector = fn x => (ltc_tyc o tcc_vector o ltd_tyc) x handle DeconExn => bug "ltc_vector on Poly"
126  val ltc_etag   = ltc_tyc o tcc_etag o ltd_tyc  val ltc_etag   = fn x => (ltc_tyc o tcc_etag o ltd_tyc) x handle DeconExn => bug "ltc_etag on Poly"
127    
128  val ltc_top = ltc_ppoly([tkc_mono], ltc_tv 0)  val ltc_top = ltc_ppoly([tkc_mono], ltc_tv 0)
129    

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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