remove unneeded extensions
This commit is contained in:
parent
7286cb832a
commit
10d72c8779
@ -1,10 +1,6 @@
|
|||||||
{-# LANGUAGE CPP #-}
|
{-# LANGUAGE CPP #-}
|
||||||
{-# LANGUAGE ForeignFunctionInterface #-}
|
|
||||||
{-# LANGUAGE DeriveDataTypeable #-}
|
|
||||||
{-# LANGUAGE KindSignatures #-}
|
|
||||||
{-# LANGUAGE DataKinds #-}
|
{-# LANGUAGE DataKinds #-}
|
||||||
{-# LANGUAGE ConstraintKinds #-}
|
{-# LANGUAGE ConstraintKinds #-}
|
||||||
{-# LANGUAGE ScopedTypeVariables #-}
|
|
||||||
{-# LANGUAGE TypeOperators #-}
|
{-# LANGUAGE TypeOperators #-}
|
||||||
{-# LANGUAGE TypeFamilies #-}
|
{-# LANGUAGE TypeFamilies #-}
|
||||||
{-# LANGUAGE UndecidableInstances #-}
|
{-# LANGUAGE UndecidableInstances #-}
|
||||||
@ -103,4 +99,3 @@ type family Mod8 (n :: Nat) where
|
|||||||
Mod8 n = Mod8 (n - 64)
|
Mod8 n = Mod8 (n - 64)
|
||||||
|
|
||||||
type IsDivisibleBy8 bitLen = IsDiv8 bitLen bitLen ~ 'True
|
type IsDivisibleBy8 bitLen = IsDiv8 bitLen bitLen ~ 'True
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user