Commit 6e508561 authored by Kai-Oliver Prott's avatar Kai-Oliver Prott

Fix failing compilation on RankNTypes

parent ce6ffc72
......@@ -391,7 +391,7 @@ genTestFunction info groundequiv tm (isprod,f) =
(fmod,fname) = funcName f
modName = "Compare"
both fun (a, a) = (fun a, fun a)
both fun (a, b) = (fun a, fun b)
testName = "test_" ++
combineTuple (both (replace' '.' '_') $ (fmod, encodeCurryId fname)) "_"
testName1 = (modName, testName++"_1")
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