diff --git a/common/Types.hs b/common/Types.hs
index 31efa3e..fe7dc5c 100644
--- a/common/Types.hs
+++ b/common/Types.hs
@@ -189,16 +189,6 @@ dyadicIsBoolean A.MoreEq = True
 dyadicIsBoolean A.After = True
 dyadicIsBoolean _ = False
 
--- | In occam, things that are arrays\/lists (literals, constructors, etc) are arrays.  However, in Rain they are lists.
--- This function chooses between the two types accordingly.  The dimensions are only relevant in occam.
-typeOfArrayList :: CSMR m => [A.Dimension] -> A.Type -> m A.Type
-typeOfArrayList dims innerType
-  = do st <- getCompState
-       case csFrontend st of
-         FrontendOccam -> return $ A.Array dims innerType
-         FrontendRain -> return $ A.List innerType
-
-
 -- | Gets the 'A.Type' of an 'A.Expression'.  This function assumes that the expression has already been type-checked.
 typeOfExpression :: (CSMR m, Die m) => A.Expression -> m A.Type
 typeOfExpression e
diff --git a/frontends/ParseRain.hs b/frontends/ParseRain.hs
index 73c81e7..2defbbf 100644
--- a/frontends/ParseRain.hs
+++ b/frontends/ParseRain.hs
@@ -34,8 +34,6 @@ import qualified LexRain as L
 import Metadata
 import ParseUtils
 import Pass
-import Types
-
 
 
 type RainState = CompState
diff --git a/frontends/RainPasses.hs b/frontends/RainPasses.hs
index 0b20cb5..37aa8b1 100644
--- a/frontends/RainPasses.hs
+++ b/frontends/RainPasses.hs
@@ -27,7 +27,6 @@ import Data.Maybe
 import qualified AST as A
 import CompState
 import Errors
-import Metadata
 import Pass
 import qualified Properties as Prop
 import RainTypes