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

SCM Repository

[diderot] Diff of /trunk/src/compiler/IL/gen/high-il.in
ViewVC logotype

Diff of /trunk/src/compiler/IL/gen/high-il.in

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

revision 186, Thu Jul 29 04:26:57 2010 UTC revision 187, Thu Jul 29 14:00:37 2010 UTC
# Line 11  Line 11 
11  structure HighOps =  structure HighOps =
12    struct    struct
13    
14      type ty = BoolTy | StringTy | IntTy | TensorTy of int list      datatype ty = BoolTy | StringTy | IntTy | TensorTy of int list
15    
16      fun sameTy (ty1 : ty, ty2) = (ty1 = ty2)      fun samety (ty1 : ty, ty2) = (ty1 = ty2)
17        fun hashty BoolTy = 0w1
18          | hashty StringTy = 0w2
19          | hashty IntTy = 0w3
20          | hashty (TensorTy dd) = List.foldl (fn (d, s) => Word.fromInt d + s) 0w4 dd
21        fun tyToString BoolTy = "bool"
22          | tyToString StringTy = "string"
23          | tyToString IntTy = "int"
24          | tyToString (TensorTy dd) = String.concat[
25                "tensor[", String.concatWith "," (List.map Int.toString dd), "]"
26              ]
27    
28  @BODY@  @BODY@
29    

Legend:
Removed from v.186  
changed lines
  Added in v.187

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