polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-02 11:54:06 +03:00
Code Issues Projects Releases Wiki Activity

add DataKinds to the checkExtensions list (#204)

Browse Source 
* add DataKinds to the checkExtensions list

* return newline
This commit is contained in:
Pepe García 2019-08-07 13:43:35 +02:00 committed by Sandy Maguire
parent 26a6d2e474
commit a34efc142b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Polysemy/Internal/TH/Effect.hs
View File

@ -122,7 +122,7 @@ makeSem_ = genFreer False
-- constructors into 'Sem' actions.
genFreer :: Bool -> Name -> Q [Dec]
genFreer should_mk_sigs type_name = do
checkExtensions [ScopedTypeVariables, FlexibleContexts]
checkExtensions [ScopedTypeVariables, FlexibleContexts, DataKinds]
(dt_name, cl_infos) <- getEffectMetadata type_name
tyfams_on <- isExtEnabled TypeFamilies
def_mod_fi <- sequence [ tySynInstDCompat