+{-# OPTIONS -w #-}
+-- The above warning supression flag is a temporary kludge.
+-- While working on this module you are encouraged to remove it and fix
+-- any warnings in the module. See
+-- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
+-- for details
+
-- $Id$
--
-- Copyright (c) 2002 Manuel M T Chakravarty & Gabriele Keller
arrUsage (Type t) =
typeArrayUsage t
+-- not quite sure this is right
+arrUsage (Cast expr co) =
+ arrUsage expr
+
bindType (b, expr) =
let
bT = varArrayUsage b