ty 0.1.6 → 0.1.7

raw patch · 2 files changed

+2/−2 lines, 2 filesdep ~basedep ~ghc-prim

Dependency ranges changed: base, ghc-prim

Files

src/Data/IsTy.hs +1/−1
ty.cabal +1/−1

src/Data/IsTy.hs view

@@ -16,7 +16,7 @@  module Data.IsTy (IsTy(..),IsTy2(..),Yes,Yes2) where -import GHC.Prim (Constraint)+import GHC.Exts (Constraint)  import Data.Proof.EQ ((:=:))

ty.cabal view

@@ -1,5 +1,5 @@ Name:                ty-Version:             0.1.6+Version:             0.1.7 Synopsis:            Typed type representations and equality proofs Category:            Data Cabal-Version:       >= 1.6