mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-23 16:28:02 +03:00
17 lines
338 B
Plaintext
17 lines
338 B
Plaintext
-- Used to fail on the guard
|
|
--
|
|
-- typechecker.tests/caseguard.u FAILURE I'm not sure what x means at line 3, columns 9-10
|
|
--
|
|
-- 3 | x | x == "woot" -> false
|
|
--
|
|
-- Whatever it is, it has a type that conforms to Text.
|
|
|
|
use Universal ==
|
|
|
|
f blah =
|
|
case blah of
|
|
x | x == "woot" -> false
|
|
y | y == "foo" -> true
|
|
|
|
-- > f "woot"
|