Closed moleike closed 3 years ago
This might simplify a bit the evaluation of applications. Currently, we represent parameter defaults with a Maybe t. When a parameter is not given a default expression, we may desugar it with the following default expr: error "Parameter not bound"
Maybe t
error "Parameter not bound"
This might simplify a bit the evaluation of applications. Currently, we represent parameter defaults with a
Maybe t
. When a parameter is not given a default expression, we may desugar it with the following default expr:error "Parameter not bound"