Add test case for #351 (crash on parse failure for deriving clause)

agda · Sep 22, 2024 · 740177d · 740177d
1 parent 407644c
commit 740177d
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git 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
@@ -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
@@ -0,0 +1,2 @@
+test/Fail/DerivingParseFailure.agda:4,1-44
+Parse error: !&