mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
8 lines
261 B
Plaintext
8 lines
261 B
Plaintext
# Should notice that the second rule is redundant, not create flattened rule for it and not forward the second argument.
|
|
type Boxed = (Box x)
|
|
|
|
(DoubleUnbox (Boxed/Box (Boxed/Box x)) *) = x
|
|
(DoubleUnbox * x) = x
|
|
|
|
Main = (DoubleUnbox (Boxed/Box (Boxed/Box 0)) 5)
|