diff --git a/llvm-general-pure.cabal b/llvm-general-pure.cabal
--- a/llvm-general-pure.cabal
+++ b/llvm-general-pure.cabal
@@ -1,10 +1,12 @@
 name: llvm-general-pure
-version: 3.5.0.0
+version: 3.5.1.0
 license: BSD3
 license-file: LICENSE
 author: Benjamin S.Scarlet <fgthb0@greynode.net>
 maintainer: Benjamin S. Scarlet <fgthb0@greynode.net>
 copyright: (c) 2013 Benjamin S. Scarlet and Google Inc.
+homepage: http://github.com/bscarlet/llvm-general/
+bug-reports: http://github.com/bscarlet/llvm-general/issues
 build-type: Simple
 stability: experimental
 cabal-version: >= 1.8
@@ -14,14 +16,20 @@
   llvm-general-pure is a set of pure Haskell types and functions for interacting with LLVM <http://llvm.org/>.
   It includes an ADT to represent LLVM IR (<http://llvm.org/docs/LangRef.html>). The llvm-general package
   builds on this one with FFI bindings to LLVM, but llvm-general-pure does not require LLVM to be available.
-   
+
 source-repository head
   type: git
   location: git://github.com/bscarlet/llvm-general.git
 
+source-repository this
+  type: git
+  location: git://github.com/bscarlet/llvm-general.git
+  branch: llvm-3.5
+  tag: pure-v3.5.1.0
+
 library
   ghc-options: -fwarn-unused-imports
-  build-depends: 
+  build-depends:
     base >= 4.6 && < 5,
     transformers >= 0.4.0.0,
     mtl >= 2.2.1,
@@ -73,14 +81,14 @@
 
 test-suite test
   type: exitcode-stdio-1.0
-  build-depends:  
+  build-depends:
     base >= 4.6 && < 5,
     test-framework >= 0.5,
     test-framework-hunit >= 0.2.7,
     HUnit >= 1.2.4.2,
     test-framework-quickcheck2 >= 0.3.0.1,
     QuickCheck >= 2.5.1.1,
-    llvm-general-pure == 3.5.0.0,
+    llvm-general-pure == 3.5.1.0,
     containers >= 0.4.2.1,
     mtl >= 2.2.1
   hs-source-dirs: test
diff --git a/src/LLVM/General/AST/Constant.hs b/src/LLVM/General/AST/Constant.hs
--- a/src/LLVM/General/AST/Constant.hs
+++ b/src/LLVM/General/AST/Constant.hs
@@ -168,6 +168,10 @@
         operand0 :: Constant,
         type' :: Type
       }
+    | AddrSpaceCast {
+        operand0 :: Constant,
+        type' :: Type
+      }
     | ICmp {
         iPredicate :: IntegerPredicate,
         operand0 :: Constant,