[Update PrimitiveOperators-in.hs
Lemmih <lemmih@gmail.com>**20090120212228
 Ignore-this: ac4b5382a68f517fb24b54f24429be42
] hunk ./data/PrimitiveOperators-in.hs 25
-
+import Name.Id
hunk ./data/PrimitiveOperators-in.hs 29
-tPtr t = ELit (litCons { litName = tc_Ptr, litArgs = [t], litType = eStar, litAliasFor = Just (ELam tvr { tvrIdent = 2, tvrType = eStar} (ELit litCons { litName = tc_Addr, litType = eStar })) })
+tPtr t = ELit (litCons { litName = tc_Ptr
+                       , litArgs = [t]
+                       , litType = eStar
+                       , litAliasFor = Just (ELam tvr { tvrIdent = anonymous 2
+                                                      , tvrType = eStar}
+                                             (ELit litCons { litName = tc_Addr, litType = eStar })) })
hunk ./data/PrimitiveOperators-in.hs 42
-    tvra =  tVr 4 t1
-    tvrb =  tVr 6 t2
+    tvra =  tVr (anonymous 4) t1
+    tvrb =  tVr (anonymous 6) t2
hunk ./data/PrimitiveOperators-in.hs 84
-    tvra' = tVr 2 t
-    tvrb' = tVr 4 tInt
-    tvra = tVr 6 st
-    tvrb = tVr 8 intt
-    tvrc = tVr 10 st
+    tvra' = tVr (anonymous 2) t
+    tvrb' = tVr (anonymous 4) tInt
+    tvra = tVr (anonymous 6) st
+    tvrb = tVr (anonymous 8) intt
+    tvrc = tVr (anonymous 10) st
hunk ./data/PrimitiveOperators-in.hs 94
-    tvra' = tVr 2 t
-    tvrb' = tVr 4 t
-    tvra = tVr 6 st
-    tvrb = tVr 8 st
-    tvrc = tVr 10 st
+    tvra' = tVr (anonymous 2) t
+    tvrb' = tVr (anonymous 4) t
+    tvra = tVr (anonymous 6) st
+    tvrb = tVr (anonymous 8) st
+    tvrc = tVr (anonymous 10) st
hunk ./data/PrimitiveOperators-in.hs 103
-    tvra' = tVr 2 t
-    tvra = tVr 6 st
-    tvrc = tVr 10 st
+    tvra' = tVr (anonymous 2) t
+    tvra = tVr (anonymous 6) st
+    tvrc = tVr (anonymous 10) st
hunk ./data/PrimitiveOperators-in.hs 120
-    tvra' = tVr 2 t
-    tvrb' = tVr 4 t
-    tvra = tVr 6 st
-    tvrb = tVr 8 st
-    tvrc = tVr 10 tBoolzh
+    tvra' = tVr (anonymous 2) t
+    tvrb' = tVr (anonymous 4) t
+    tvra = tVr (anonymous 6) st
+    tvrb = tVr (anonymous 8) st
+    tvrc = tVr (anonymous 10) tBoolzh
hunk ./data/PrimitiveOperators-in.hs 131
-    tvra = tVr 2 st
-    tvrb = tVr 4 st
+    tvra = tVr (anonymous 2) st
+    tvrb = tVr (anonymous 4) st
hunk ./data/PrimitiveOperators-in.hs 142
-    tvra = tVr 2 st
+    tvra = tVr (anonymous 2) st
hunk ./data/PrimitiveOperators-in.hs 147
-    tvra = tVr 2 st
+    tvra = tVr (anonymous 2) st
hunk ./data/PrimitiveOperators-in.hs 156
-    tvra = tVr 2 st
+    tvra = tVr (anonymous 2) st
hunk ./data/PrimitiveOperators-in.hs 167
-    tvra = tVr 2 st
+    tvra = tVr (anonymous 2) st
hunk ./data/PrimitiveOperators-in.hs 178
-    tvr = (tVr 2 (tPtr t))
-    tvr' = tVr 4 (rawType "bits<ptr>")
-    tvrWorld2 = tVr 258 tWorld__
-    tvrWorld = tVr 256 tWorld__
-    rtVar = tVr 260 (rawType p)
-    rtVar' = tVr 262 t
+    tvr = (tVr (anonymous 2) (tPtr t))
+    tvr' = tVr (anonymous 4) (rawType "bits<ptr>")
+    tvrWorld2 = tVr (anonymous 258) tWorld__
+    tvrWorld = tVr (anonymous 256) tWorld__
+    rtVar = tVr (anonymous 260) (rawType p)
+    rtVar' = tVr (anonymous 262) t
hunk ./data/PrimitiveOperators-in.hs 188
-    ptr_tvr =  (tVr 2 (tPtr t))
-    v_tvr = tVr 4 t
-    ptr_tvr' =  (tVr 6 (rawType "bits<ptr>"))
-    v_tvr' = tVr 8 (rawType p)
+    ptr_tvr =  (tVr (anonymous 2) (tPtr t))
+    v_tvr = tVr (anonymous 4) t
+    ptr_tvr' =  (tVr (anonymous 6) (rawType "bits<ptr>"))
+    v_tvr' = tVr (anonymous 8) (rawType p)
hunk ./data/PrimitiveOperators-in.hs 203
-    tvrWorld2 = tVr 258 tWorld__
-    tvrWorld = tVr 256 tWorld__
+    tvrWorld2 = tVr (anonymous 258) tWorld__
+    tvrWorld = tVr (anonymous 256) tWorld__
hunk ./data/PrimitiveOperators-in.hs 227
-v2_Int = tVr 2 tInt
-v2_Integer = tVr 2 tInteger
-v2 t = tVr 2 t
+v2_Int = tVr (anonymous 2) tInt
+v2_Integer = tVr (anonymous 2) tInteger
+v2 t = tVr (anonymous 2) t
hunk ./data/PrimitiveOperators-in.hs 231
-v0 t = tVr 0 t
+v0 t = tVr emptyId t