diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda index 41173e28..24deabc8 100644 --- a/test/AllFailTests.agda +++ b/test/AllFailTests.agda @@ -39,3 +39,4 @@ import Fail.NonCanonicalSuperclass import Fail.Issue125 import Fail.Issue357a import Fail.Issue357b +import Fail.DerivingParseFailure diff --git a/test/Fail/DerivingParseFailure.agda b/test/Fail/DerivingParseFailure.agda new file mode 100644 index 00000000..c31e2084 --- /dev/null +++ b/test/Fail/DerivingParseFailure.agda @@ -0,0 +1,6 @@ +module Fail.DerivingParseFailure where + +record Example : Set where +{-# COMPILE AGDA2HS Example deriving !& #-} +-- {-# COMPILE AGDA2HS Example deriving Show via Foo #-} +-- {-# COMPILE AGDA2HS Example deriving (Show, Eq, Ord) class #-} diff --git a/test/golden/DerivingParseFailure.err b/test/golden/DerivingParseFailure.err new file mode 100644 index 00000000..a74ff5db --- /dev/null +++ b/test/golden/DerivingParseFailure.err @@ -0,0 +1,2 @@ +test/Fail/DerivingParseFailure.agda:4,1-44 +Parse error: !&