GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-11-04 11:15:27 -07:00
Code Issues Packages Projects Releases Wiki Activity

Add {-# LANGUAGE GADTs -#} to the generated Haskell file

Browse Source
This commit is contained in:
Inari Listenmaa committed 2018-10-19 15:20:05 +02:00
1 parent effa818408
commit 8c382b3cb1
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/GF/Compile/PGFtoHaskell.hs
+1 -1
View File
@@ -39,7 +39,7 @@ grammar2haskell opts name gr = foldr (++++) [] $
lexical cat = haskellOption opts HaskellLexical && isLexicalCat opts cat lexical cat = haskellOption opts HaskellLexical && isLexicalCat opts cat
gId | haskellOption opts HaskellNoPrefix = id gId | haskellOption opts HaskellNoPrefix = id
| otherwise = ("G"++) | otherwise = ("G"++)
pragmas | gadt = ["{-# OPTIONS_GHC -fglasgow-exts #-}"] pragmas | gadt = ["{-# OPTIONS_GHC -fglasgow-exts #-}","{-# LANGUAGE GADTs #-}"]
| otherwise = [] | otherwise = []
types | gadt = datatypesGADT gId lexical gr' types | gadt = datatypesGADT gId lexical gr'
| otherwise = datatypes gId lexical gr' | otherwise = datatypes gId lexical gr'