diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2018-10-19 16:23:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 16:23:16 +0200 |
| commit | 0a62c13fd132a917ea04efe07abc786f50526621 (patch) | |
| tree | 75bdcff25aff7a3e8c1d72a732baba96246af8be /src | |
| parent | effa818408c1d79d4615122078a816e329d220d1 (diff) | |
| parent | 8c382b3cb1c7368bfb4fde7309fd34bac9cd471c (diff) | |
Merge pull request #10 from inariksit/master
Add {-# LANGUAGE GADTs -#} to the generated Haskell file
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/PGFtoHaskell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/PGFtoHaskell.hs b/src/compiler/GF/Compile/PGFtoHaskell.hs index 89366568d..fc17e4e4e 100644 --- a/src/compiler/GF/Compile/PGFtoHaskell.hs +++ b/src/compiler/GF/Compile/PGFtoHaskell.hs @@ -39,7 +39,7 @@ grammar2haskell opts name gr = foldr (++++) [] $ lexical cat = haskellOption opts HaskellLexical && isLexicalCat opts cat gId | haskellOption opts HaskellNoPrefix = id | otherwise = ("G"++) - pragmas | gadt = ["{-# OPTIONS_GHC -fglasgow-exts #-}"] + pragmas | gadt = ["{-# OPTIONS_GHC -fglasgow-exts #-}","{-# LANGUAGE GADTs #-}"] | otherwise = [] types | gadt = datatypesGADT gId lexical gr' | otherwise = datatypes gId lexical gr' |