This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
compilation/flap/tests/03-Typing/47-pattern-matching-11.bad.typing.hopix.human-readable

6 lines
156 B
Text
Raw Permalink Normal View History

2023-11-15 19:08:33 +01:00
type p<`a, `b> = P(`a, `b)
type l = { l : int }
let x : int = match (P<l, int>({ l = 22 }<>, 33)) {
P<l, int>( { u = (x : int) }<>, (y : int)) -> x + y
}