|
|
## Stufenbeschreibung (ENTWURF)
|
|
|
|
|
|
**Stufe 1:**
|
|
|
+ Hiding von Prelude Standardfunktionen (z.B.: map, reverse, list, etc.)
|
|
|
+ Imports verbieten
|
|
|
+ Module verbieten
|
|
|
+ Higher-Order-Funktionen ausschließen
|
|
|
+ Eigene Datentypen verbieten
|
|
|
+ Typsignaturen erzwingen
|
|
|
+ check-expect erzwingen
|
|
|
|
|
|
**Stufe 2:**
|
|
|
- Hiding einige Predudefunktionen aufheben (z.B.: list)
|
|
|
+ Showinstanzen für Datentypen
|
|
|
|
|
|
**Stufe 3:**
|
|
|
- Preludehiding deaktivieren
|
|
|
|
|
|
**Stufe 4 (Standardhaskell):**
|
|
|
- Module aktivieren
|
|
|
|
|
|
|
|
|
Sinnvolle Fehlermeldungen für:
|
|
|
- Erkennen von Funktionen die mit Großbuchstaben anfangen
|
|
|
- Erkennen wenn der Datentypname vor der Typkonstruktor verwendet wird
|
|
|
- Vergessene (oder zu viel gesetzte) Klammern bei z.B.: Pattern Matching |
|
|
\ No newline at end of file |