peter-divianszky comments

Repositories
Issues
Comments

Results 1 comments of


                                            peter-divianszky

Dependent pattern matching function seen as total when it's not

Thanks for the detailed answer. After adding a `Var` constructor to `Code {Value}` the compiler thinks that the last line is needed, which is the behavior I expect. Now I...