forked from GitHub/gf-core
update the testsuite
This commit is contained in:
@@ -1,7 +1,5 @@
|
||||
|
||||
|
||||
|
||||
|
||||
data constructor expected but funpatt.D1 is found instead
|
||||
|
||||
|
||||
|
||||
renaming module funpatt
|
||||
|
||||
Reference in New Issue
Block a user