1
0
Fork 0
mirror of https://github.com/tensorflow/haskell.git synced 2024-11-23 03:19:44 +01:00

Make GHC 8 build succeed

Built locally with
stack --resolver lts-7.9 build --ghc-options -fconstraint-solver-iterations=0
This commit is contained in:
Nobuaki Sukegawa 2016-11-22 02:00:41 +09:00
parent a277c7ddb3
commit 22b1f60eb3

View file

@ -373,7 +373,7 @@ type family Delete a as where
-- | Takes the difference of two lists of types.
type family as \\ bs where
as \\ '[] = as
as \\ b ': bs = Delete b as \\ bs
as \\ (b ': bs) = Delete b as \\ bs
-- | A constraint that the type @a@ doesn't appear in the type list @ts@.
-- Assumes that @a@ and each of the elements of @ts@ are 'TensorType's.