Rename new tests

NathanielB123 · NathanielB123 · commit 293b30c3e32c · 2025-11-04T17:09:10.000Z
I got rid of the pattern lambdas to make them, so the test name doesn't
really make sense anymore
diff --git a/test/AllTests.agda b/test/AllTests.agda
@@ -88,8 +88,6 @@ import Issue317
 import Issue353
 import RankNTypes
 import ErasedPatternLambda
-import ErasedPatternLambda2
-import ErasedPatternLambda3
 import CustomTuples
 import ProjectionLike
 import FunCon
@@ -105,6 +103,8 @@ import Issue408
 import CompileTo
 import RuntimeCast
 import Issue306
+import RelevantDotPattern1
+import RelevantDotPattern2
 
 {-# FOREIGN AGDA2HS
 import Issue14
@@ -190,8 +190,6 @@ import Issue317
 import Issue353
 import RankNTypes
 import ErasedPatternLambda
-import ErasedPatternLambda2
-import ErasedPatternLambda3
 import CustomTuples
 import ProjectionLike
 import FunCon
@@ -207,4 +205,6 @@ import Issue408
 import CompileTo
 import RuntimeCast
 import Issue306
+import RelevantDotPattern1
+import RelevantDotPattern2
 #-}
diff --git a/test/RelevantDotPattern1.agda b/test/RelevantDotPattern1.agda
@@ -1,3 +1,4 @@
+-- Derived from "ErasedPatternLambda"
 open import Haskell.Prelude
 
 Scope = List Bool
diff --git a/test/RelevantDotPattern2.agda b/test/RelevantDotPattern2.agda
@@ -1,3 +1,4 @@
+-- Derived from "ErasedPatternLambda"
 open import Haskell.Prelude
 
 Scope = List Bool
diff --git a/test/golden/AllTests.hs b/test/golden/AllTests.hs
@@ -83,8 +83,6 @@ import Issue317
 import Issue353
 import RankNTypes
 import ErasedPatternLambda
-import ErasedPatternLambda2
-import ErasedPatternLambda3
 import CustomTuples
 import ProjectionLike
 import FunCon
@@ -100,4 +98,6 @@ import Issue408
 import CompileTo
 import RuntimeCast
 import Issue306
+import RelevantDotPattern1
+import RelevantDotPattern2
 
diff --git a/test/golden/RelevantDotPattern1.hs b/test/golden/RelevantDotPattern1.hs
@@ -1,4 +1,4 @@
-module ErasedPatternLambda2 where
+module RelevantDotPattern1 where
 
 data Telescope = ExtendTel Bool Telescope
 
diff --git a/test/golden/RelevantDotPattern2.hs b/test/golden/RelevantDotPattern2.hs
@@ -1,4 +1,4 @@
-module ErasedPatternLambda3 where
+module RelevantDotPattern2 where
 
 data Telescope = ExtendTel Bool Telescope
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+-- Derived from "ErasedPatternLambda"`
`1`	`2`	`open import Haskell.Prelude`
`2`	`3`
`3`	`4`	`Scope = List Bool`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module ErasedPatternLambda2 where`
	`1`	`+module RelevantDotPattern1 where`
`2`	`2`
`3`	`3`	`data Telescope = ExtendTel Bool Telescope`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module ErasedPatternLambda3 where`
	`1`	`+module RelevantDotPattern2 where`
`2`	`2`
`3`	`3`	`data Telescope = ExtendTel Bool Telescope`
`4`	`4`