mirror of
https://github.com/nick8325/quickspec.git
synced 2024-09-11 08:35:32 +03:00
Syntax fix for type applications.
This commit is contained in:
parent
e9803adcb4
commit
a4e0dbdfc7
@ -10,6 +10,6 @@ eqLen xs ys = length xs == length ys
|
||||
main = quickSpec [
|
||||
-- Explore bigger terms.
|
||||
withMaxTermSize 8,
|
||||
con "++" ((++) @ Int),
|
||||
con "zip" (zip @ Int @ Int),
|
||||
predicate "eqLen" (eqLen @ Int @ Int) ]
|
||||
con "++" ((++) @Int),
|
||||
con "zip" (zip @Int @Int),
|
||||
predicate "eqLen" (eqLen @Int @Int) ]
|
||||
|
Loading…
Reference in New Issue
Block a user