resin 0.2.0.0 → 0.2.0.1

raw patch · 2 files changed

+3/−3 lines, 2 files

Files

resin.cabal +1/−1
src/Resin/Binders/Tree/Internal.hs +2/−2

resin.cabal view

@@ -10,7 +10,7 @@ -- PVP summary:      +-+------- breaking API changes --                   | | +----- non-breaking API additions --                   | | | +--- code changes with no API change-version:             0.2.0.0+version:             0.2.0.1  -- A short (one-line) description of the package. synopsis:            High performance variable binders

src/Resin/Binders/Tree/Internal.hs view

@@ -1,6 +1,6 @@ {-# LANGUAGE FlexibleContexts,FlexibleInstances,GADTs,DataKinds, PolyKinds, KindSignatures #-} {-# LANGUAGE DeriveDataTypeable #-}-{-# LANGUAGE TypeInType #-}+-- {-# LANGUAGE TypeInType #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE BangPatterns #-} {-# LANGUAGE TypeOperators #-}@@ -50,7 +50,7 @@ {- | `Inject` is about  -}-data Inject :: (k -> Type ) -> k -> k -> Type where+data Inject :: (k -> * ) -> k -> k -> *  where   InjectRefl :: forall f a b . IxEq f a b->  Inject f a b   --MonoId :: forall f  i .  (f i) -> Inject f i i   -- should MonoId be strict in its argument?