Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/high-il/check-high-il.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/high-il/check-high-il.sml

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

revision 1924, Sat Jun 23 12:03:00 2012 UTC revision 1925, Sat Jun 23 14:16:09 2012 UTC
# Line 79  Line 79 
79              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])              | Op.Prepend ty => (Ty.DynSeqTy ty, [ty, Ty.DynSeqTy ty])
80              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])              | Op.Append ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, ty])
81              | Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])              | Op.Concat ty => (Ty.DynSeqTy ty, [Ty.DynSeqTy ty, Ty.DynSeqTy ty])
82                | Op.Length ty => (Ty.intTy, [Ty.DynSeqTy ty])
83              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])              | Op.IntToReal => (Ty.realTy, [Ty.IntTy])
84              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])              | Op.TruncToInt => (Ty.IntTy, [Ty.realTy])
85              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])              | Op.RoundToInt => (Ty.IntTy, [Ty.realTy])

Legend:
Removed from v.1924  
changed lines
  Added in v.1925

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