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

agda · Sep 23, 2024 · f636b3d · f636b3d
1 parent 06c8534
commit f636b3d
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: !&
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		test/Fail/DerivingParseFailure.agda:4,1-44
		Parse error: !&