Hi Markus, It is a very old 'feature'...Not so nice though. Greetings, Rinus
Verzonden vanaf mijn Samsung Galaxy-smartphone. -------- Oorspronkelijk bericht --------Van: Markus Klinik <[email protected]> Datum: 06-08-18 17:24 (GMT+01:00) Aan: clean-list <[email protected]> Onderwerp: [clean-list] No typechecking in unused let-bindings 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
_______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
