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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/low-il/low-il.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/low-il/low-il.sml

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

revision 2666, Wed Jun 4 01:59:49 2014 UTC revision 2667, Thu Jun 5 18:54:12 2014 UTC
# Line 75  Line 75 
75        | Append of ty        | Append of ty
76        | Prepend of ty        | Prepend of ty
77        | Concat of ty        | Concat of ty
78        | Length of ty        | Sqrt
79        | Ceiling of int        | Ceiling of int
80        | Floor of int        | Floor of int
81        | Round of int        | Round of int
# Line 138  Line 138 
138        | resultArity (Append _) = 2        | resultArity (Append _) = 2
139        | resultArity (Prepend _) = 2        | resultArity (Prepend _) = 2
140        | resultArity (Concat _) = 2        | resultArity (Concat _) = 2
141        | resultArity (Length _) = 1        | resultArity Sqrt = 1
142        | resultArity (Ceiling _) = 1        | resultArity (Ceiling _) = 1
143        | resultArity (Floor _) = 1        | resultArity (Floor _) = 1
144        | resultArity (Round _) = 1        | resultArity (Round _) = 1
# Line 201  Line 201 
201        | arity (Append _) = 1        | arity (Append _) = 1
202        | arity (Prepend _) = 1        | arity (Prepend _) = 1
203        | arity (Concat _) = 1        | arity (Concat _) = 1
204        | arity (Length _) = 1        | arity Sqrt = 1
205        | arity (Ceiling _) = 1        | arity (Ceiling _) = 1
206        | arity (Floor _) = 1        | arity (Floor _) = 1
207        | arity (Round _) = 1        | arity (Round _) = 1
# Line 271  Line 271 
271        | same (Append(a0), Append(b0)) = samety(a0, b0)        | same (Append(a0), Append(b0)) = samety(a0, b0)
272        | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)        | same (Prepend(a0), Prepend(b0)) = samety(a0, b0)
273        | same (Concat(a0), Concat(b0)) = samety(a0, b0)        | same (Concat(a0), Concat(b0)) = samety(a0, b0)
274        | same (Length(a0), Length(b0)) = samety(a0, b0)        | same (Sqrt, Sqrt) = true
275        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)        | same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
276        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)        | same (Floor(a0), Floor(b0)) = sameint(a0, b0)
277        | same (Round(a0), Round(b0)) = sameint(a0, b0)        | same (Round(a0), Round(b0)) = sameint(a0, b0)
# Line 335  Line 335 
335        | hash (Append(a0)) = 0w179 + hashty a0        | hash (Append(a0)) = 0w179 + hashty a0
336        | hash (Prepend(a0)) = 0w181 + hashty a0        | hash (Prepend(a0)) = 0w181 + hashty a0
337        | hash (Concat(a0)) = 0w191 + hashty a0        | hash (Concat(a0)) = 0w191 + hashty a0
338        | hash (Length(a0)) = 0w193 + hashty a0        | hash Sqrt = 0w193
339        | hash (Ceiling(a0)) = 0w197 + hashint a0        | hash (Ceiling(a0)) = 0w197 + hashint a0
340        | hash (Floor(a0)) = 0w199 + hashint a0        | hash (Floor(a0)) = 0w199 + hashint a0
341        | hash (Round(a0)) = 0w211 + hashint a0        | hash (Round(a0)) = 0w211 + hashint a0
# Line 398  Line 398 
398        | toString (Append(a0)) = concat["Append<", tyToString a0, ">"]        | toString (Append(a0)) = concat["Append<", tyToString a0, ">"]
399        | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]        | toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]
400        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]        | toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
401        | toString (Length(a0)) = concat["Length<", tyToString a0, ">"]        | toString Sqrt = "Sqrt"
402        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]        | toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]
403        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]        | toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]
404        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]        | toString (Round(a0)) = concat["Round<", intToString a0, ">"]

Legend:
Removed from v.2666  
changed lines
  Added in v.2667

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