lexi-lambda/freer-simple
1
1
Fork 0
mirror of https://github.com/lexi-lambda/freer-simple.git synced 2024-12-24 14:43:57 +03:00
Code Issues Projects Releases Wiki Activity

Fix GHC 7.8 and 7.10 compatibility again

Browse Source
This commit is contained in:
Tomas Janousek 2017-01-28 15:11:37 +01:00
parent bf588dcd06
commit dd943e6ae0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Open/Union/Internal.hs
View File

@ -43,10 +43,10 @@ type family EQU (a :: k) (b :: k) :: Bool where
EQU a b = 'False
type family Head (xs :: [x]) :: x where
Head (x ': _) = x
Head (x ': xs) = x
type family Tail (xs :: [x]) :: [x] where
Tail (_ ': xs) = xs
Tail (x ': xs) = xs
--------------------------------------------------------------------------------
-- Interface --