Panic on bad function definition
Proost panics when a function is not defined as it should. For example, it is the case for def y := fun _ => True
. This comes from an uncovered case in parser::error
.
Proost panics when a function is not defined as it should. For example, it is the case for def y := fun _ => True
. This comes from an uncovered case in parser::error
.