diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-08-03 19:45:20 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-08-03 19:45:20 +0200 |
| commit | 7c478016d0ca57753323e45b77505fc839b170f8 (patch) | |
| tree | 25d2f45737a1da4234fbe5f574fa16cc0f7106eb /src/compiler/GF | |
| parent | 868566a31921e1f39881ac5adcc1308131050eca (diff) | |
Replace deprecated pragma with up-to-date one. (#17)
Diffstat (limited to 'src/compiler/GF')
| -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 6cb078625..6356c9f6d 100644 --- a/src/compiler/GF/Compile/PGFtoHaskell.hs +++ b/src/compiler/GF/Compile/PGFtoHaskell.hs @@ -44,7 +44,7 @@ grammar2haskell opts name gr = foldr (++++) [] $ | otherwise = ("G"++) . rmForbiddenChars -- GF grammars allow weird identifier names inside '', e.g. 'VP/Object' rmForbiddenChars = filter (`notElem` "'!#$%&*+./<=>?@\\^|-~") - pragmas | gadt = ["{-# OPTIONS_GHC -fglasgow-exts #-}","{-# LANGUAGE GADTs #-}"] + pragmas | gadt = ["{-# LANGUAGE GADTs, FlexibleInstances, KindSignatures, RankNTypes, TypeSynonymInstances #-}"] | dataExt = ["{-# LANGUAGE DeriveDataTypeable #-}"] | otherwise = [] derivingClause |