mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
9 lines
167 B
Plaintext
9 lines
167 B
Plaintext
# The flattened rule should only have 1 arg, for matching 'B'
|
|
type A_t = (A b)
|
|
type B_t = B
|
|
|
|
(Foo 0 (A_t/A B_t/B)) = B_t/B
|
|
(Foo * *) = *
|
|
|
|
main = (Foo 2 (A_t/A B_t/B))
|