Alejandro Serrano 4440a26380 Enhancements to top-level signatures (#232) ... * Try adding a dependency on TypeCheck * Show warning regardless of the status of -Wall * Try diagnostics after type checking, again * Use `useE` instead of `use_` to not get a `BadDependency` error * Degrade information about signatures if not present in user options * Fix tests * Better suggested signatures for polymorphic bindings * Remove old comment		2019-12-16 16:21:09 +01:00
..
Main.hs	Enhancements to top-level signatures (#232)	2019-12-16 16:21:09 +01:00