From 22b1f60eb3a801473f3db9ce175db82f41ef24b8 Mon Sep 17 00:00:00 2001 From: Nobuaki Sukegawa Date: Tue, 22 Nov 2016 02:00:41 +0900 Subject: [PATCH] Make GHC 8 build succeed Built locally with stack --resolver lts-7.9 build --ghc-options -fconstraint-solver-iterations=0 --- tensorflow/src/TensorFlow/Types.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tensorflow/src/TensorFlow/Types.hs b/tensorflow/src/TensorFlow/Types.hs index 3d47f39..2c9c193 100644 --- a/tensorflow/src/TensorFlow/Types.hs +++ b/tensorflow/src/TensorFlow/Types.hs @@ -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.