X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=CoreTools.hs;h=85c398ab7c2777bb920c749033f28caa2594d6c4;hb=77d347006ced194e77aee0f66da98a2028cb259e;hp=73904b935f7b266b8be6e84c7553287d91a60c22;hpb=0273d87f3e6e8790ca7beb5a46bea8d478a89194;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/CoreTools.hs b/CoreTools.hs
index 73904b9..85c398a 100644
--- a/CoreTools.hs
+++ b/CoreTools.hs
@@ -63,6 +63,14 @@ sized_word_len ty =
   where 
     (tycon, args) = Type.splitTyConApp ty
     [len] = args
+    
+-- | Get the upperbound of a RangedWord type
+ranged_word_bound :: Type.Type -> Int
+ranged_word_bound ty =
+  eval_tfp_int len
+  where
+    (tycon, args) = Type.splitTyConApp ty
+    [len]         = args
 
 -- | Evaluate a core Type representing type level int from the TypeLevel
 -- library to a real int.