liquid-ghc-prim 0.6.1 → 0.7.0
raw patch · 4 files changed
+12/−8 lines, 4 filesdep ~ghc-prim
Dependency ranges changed: ghc-prim
Files
- liquid-ghc-prim.cabal +3/−3
- src/GHC/Prim.hs +3/−0
- src/GHC/Types.hs +4/−4
- src/GHC/Types.spec +2/−1
liquid-ghc-prim.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.24 name: liquid-ghc-prim-version: 0.6.1+version: 0.7.0 synopsis: Drop-in ghc-prim replacement for LiquidHaskell description: Drop-in ghc-prim replacement for LiquidHaskell. license: BSD3@@ -24,7 +24,7 @@ -- unfortunately. The issue is that 'GHC.Prim' is a special snowflake, -- treated specially by the GHC pipeline. In particular, GHC doesn't -- generate a '.hi' file for it, and this causes Windows' builds to choke.- -- GHC.Prim+ GHC.Prim GHC.CString GHC.Classes GHC.Debug@@ -36,7 +36,7 @@ GHC.Types hs-source-dirs: src- build-depends: ghc-prim == 0.6.1+ build-depends: ghc-prim == 0.7.0 , liquidhaskell >= 0.8.10.1 default-language: Haskell2010 default-extensions: PackageImports
+ src/GHC/Prim.hs view
@@ -0,0 +1,3 @@+module GHC.Prim (module Exports) where++import "ghc-prim" GHC.Prim as Exports
src/GHC/Types.hs view
@@ -1,10 +1,10 @@ module GHC.Types (module Exports) where -{-@ embed GHC.Prim.Int# as int @-}-{-@ embed GHC.Prim.Addr# as Str @-}+import "ghc-prim" GHC.Types as Exports++{-@ embed GHC.Prim.Int# as int @-}+{-@ embed GHC.Prim.Addr# as Str @-} {-@ embed GHC.Prim.Char# as Char @-} {-@ embed GHC.Prim.Double# as real @-} {-@ embed GHC.Prim.Float# as real @-} {-@ embed GHC.Prim.Word# as int @-}--import "ghc-prim" GHC.Types as Exports
src/GHC/Types.spec view
@@ -1,6 +1,6 @@ module spec GHC.Types where -// Boxed types+// Boxed types embed GHC.Types.Double as real embed GHC.Types.Float as real embed GHC.Types.Word as int@@ -9,6 +9,7 @@ embed GHC.Types.Char as Char embed GHC.Integer.Type.Integer as int+embed GHC.Num.Integer as int GHC.Types.True :: {v:GHC.Types.Bool | v } GHC.Types.False :: {v:GHC.Types.Bool | (~ v) }