+ Computing size of expressions

Averethel · Feb 19, 2013 · ddd5fca · ddd5fca
1 parent 9106906
commit ddd5fca
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/Inline/Size.hs b/Inline/Size.hs
@@ -0,0 +1,13 @@
+module Inline.Size where
+  import KNormal.KSyntax
+
+  size :: KExpr -> Integer
+  size (KEifEq _ _ e1 e2)  = 1 + size e1 + size e2
+  size (KEifLE _ _ e1 e2)  = 1 + size e1 + size e2
+  size (KElet _ e1 e2)     = 1 + size e1 + size e2
+  size (KEletRec fd e)     = 1 + size e + size (body fd)
+  size (KEletPair _ _ _ e) = 1 + size e
+  size (KEletList _ _ _ e) = 1 + size e
+  size (KEhandle e1 e2)    = size e1 + size e2
+  size (KEseq e1 e2)       = size e1 + size e2
+  size _                   = 1