Cleaned up warnings.

Language/Atom/Code.hs

@@ -433,9 +433,9 @@ declState define a' = if isHierarchyEmpty a' then ""
       ++ intercalate ("\n" ++ i ++ ", ") (map showConst c) ++ "\n" ++ i ++ "}"
 
   isHierarchyEmpty h = case h of
-    StateHierarchy n i -> if null i then True else and $ map isHierarchyEmpty i
-    StateVariable n c -> False
-    StateArray n c -> False
+    StateHierarchy _ i -> if null i then True else and $ map isHierarchyEmpty i
+    StateVariable _ _ -> False
+    StateArray _ _ -> False
 
 codeRule :: UeMap -> Config -> Rule -> String
 codeRule mp config rule@(Rule _ _ _ _ _ _ _) =

Language/Atom/Elaboration.hs

@@ -30,7 +30,6 @@ module Language.Atom.Elaboration
   , allUEs
   ) where
 
-import Control.Applicative (Applicative, pure, (<*>))
 import Control.Monad (ap)
 import Control.Monad.Trans
 import Data.Function (on)

Language/Atom/Expressions.hs

@@ -600,6 +600,10 @@ instance (Expr a, OrdE a, EqE a, IntegralE a, Bits a) => Bits (E a) where
 
   shiftL _ _              = error "shiftL undefined, for left-shifting use .<<."
   shiftR _ _              = error "shiftR undefined, for right-shifting use .>>."
+  bitSizeMaybe            = error "bitSizeMaybe undefined"
+  testBit                 = error "testBit undefinied"
+  bit                     = error "bit undefinied"
+  popCount                = error "popCount undefined"
 
   rotateL _ _             = error "rotateL undefined, for left-rotation use rol"
   rotateR _ _             = error "rotateR undefined, for right-rotation use ror"