separate data structures for unresolved/resolved types
Offen
- Vorherrschende Sprache
- Haskell
- Sterne
- 952
- Forks
- 50
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
A large source of type-system bugs relates to using `AtomType` to represent both unresolved (with type variables) and fully-resolved types together. It would reduce the bug potential to separate them into two, perhaps as:
```
data UnresolvedAtomType = TypeVariableType TypeVariableName | ResolvedAtomType
data ResolvedAtomType = IntegerAtomType | ...
```
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.