Haskell: emit `{-# LANGUAGE Safe #-}` (and `Trustworthy` in Lex/Par.hs)

BNFC / bnfc

BNF Converter

http://bnfc.digitalgrammars.com/

586 stars 165 forks source link

Haskell: emit `{-# LANGUAGE Safe #-}` (and `Trustworthy` in Lex/Par.hs) #419

Open andreasabel opened 2 years ago

andreasabel commented 2 years ago

Haskell: emit {-# LANGUAGE Safe #-} (and Trustworthy in generated Lex/Par.hs) Had to get rid of GeneralizedNewtypeDeriving extension in generated Abs.hs.

andreasabel commented 2 years ago

Errors:

  * Regression tests:#170 Module Xml cannot be compiled with GADT backend (--xmlt)
  * Regression tests:#170 Module Xml cannot be compiled with GADT backend (--xml)
  * Regression tests:#30 With -d option XML module is not generated inside the directory
  * Parameterized tests:Haskell & Agda:Haskell & Agda:204_InternalToken
  * Parameterized tests:Haskell & Agda (with --functor):Haskell & Agda (with --functor):204_InternalToken