ty 0.1.5 → 0.1.6

raw patch · 2 files changed

+2/−2 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

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

src/Data/Ty.hs view

@@ -1,5 +1,5 @@ {-# LANGUAGE TypeOperators, TypeFamilies, ScopedTypeVariables #-}-{-# LANGUAGE GADTs, PatternGuards #-}+{-# LANGUAGE GADTs, PatternGuards, ConstraintKinds #-} {-# LANGUAGE KindSignatures #-} -- AsPairTy  {-# OPTIONS_GHC -Wall #-}

ty.cabal view

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