mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
14 lines
317 B
Plaintext
14 lines
317 B
Plaintext
# The test below should not trigger this warning:
|
|
#
|
|
# In definition 'f':
|
|
# Definition is unused.
|
|
# In definition 't':
|
|
# Definition is unused.
|
|
#
|
|
# This was happening because the prune algorithm was just collecting constructors
|
|
# by searching for tags.
|
|
|
|
type bool = t | f
|
|
|
|
main = @b match b { bool/t: 0; bool/f: 1}
|