Commit a45b302e authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Type families: fixed GivenCheckDecomp

parent 8b054480
...@@ -108,7 +108,7 @@ test('HO', normal, compile, ['']) ...@@ -108,7 +108,7 @@ test('HO', normal, compile, [''])
test('GivenCheck', normal, compile, ['']) test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, ['']) test('GivenCheckSwap', normal, compile, [''])
test('GivenCheckDecomp', expect_fail, compile, ['']) test('GivenCheckDecomp', normal, compile, [''])
test('GivenCheckTop', normal, compile, ['']) test('GivenCheckTop', normal, compile, [''])
test('Gentle', normal, compile, ['']) test('Gentle', normal, compile, [''])
......
Supports Markdown
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