Commit 40bf8b8c authored by ian@well-typed.com's avatar ian@well-typed.com
Browse files

Rename a test that shared its name with another test

parent 8d715e62
T2334.hs:9:26:
T2334A.hs:9:26:
The constructor of a newtype must have exactly one field
but `F' has two
In the definition of data constructor `F'
In the newtype instance declaration for `F'
T2334.hs:10:27:
T2334A.hs:10:27:
The constructor of a newtype must have exactly one field
but `H' has none
In the definition of data constructor `H'
In the newtype instance declaration for `F'
T2334.hs:12:15:
T2334A.hs:12:15:
Conflicting family instance declarations:
F Bool -- Defined at T2334.hs:12:15
F Bool -- Defined at T2334.hs:13:15
F Bool -- Defined at T2334A.hs:12:15
F Bool -- Defined at T2334A.hs:13:15
......@@ -41,7 +41,7 @@ test('Over',
test('SkolemOccursLoop', expect_fail, compile_fail, [''])
test('T2334', normal, compile_fail, [''])
test('T2334A', normal, compile_fail, [''])
test('T1900', normal, compile_fail, [''])
test('T2157', normal, compile_fail, [''])
test('T2203a', normal, compile_fail, [''])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment