ref: 80e8fc323d9ed49fdce371e7241f5c09975263cb
parent: 100938e8c6917289571a36d3b07eb097215722dc
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Fri Sep 22 07:55:09 EDT 2023
More docs
--- a/README.md
+++ b/README.md
@@ -43,10 +43,11 @@
* data (and newtype) type declarations
* type synonyms
* type signatures
-* importing of other modules, `qualified` and `as` supported, but no import list
+* importing of other modules, `qualified` and `as` supported
* exporting with mandatory export list
* the `Prelude` has to be imported explicitely
-* terrible, terrible error messages
+* mandatory type signatures at the top level, with mandatory `forall` for polymorphism
+* terrible error messages, some errors are not even flagged
## Example
The file `Example.hs` contains the following:
--
⑨