GHC/Type system
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Type system extensions in GHC
GHC comes with a rather lare collection of type-system extensions (beyond Haskell 98). They are all documented in the user manual, but this page is a place to record observations, notes, and suggestions on them.
Overlapping instances
Here an interesting message about the interaction of existential types and overlapping instances.