Hi, I just noticed that unused variable bindings in let- and where-clauses are not typechecked. Is this intentional? The following program compiles while there are some type errors.
module Main
import StdInt
foo x = x
where
y = 0 + True
z :: Bool
z = 0
bar x =
let
y = 0 + True
z :: Bool
z = 0
in
x
Start = "hello world"
Best regards,
Markus
_______________________________________________
clean-list mailing list
[email protected]
https://mailman.science.ru.nl/mailman/listinfo/clean-list
