... | @@ -18,6 +18,7 @@ These are features which we might want to consider for removal or replacement wi |
... | @@ -18,6 +18,7 @@ These are features which we might want to consider for removal or replacement wi |
|
- defaulting
|
|
- defaulting
|
|
|
|
|
|
- For removal: defaults are limited to certain classes. A tool like Hat, which transforms Haskell source, cannot transform the defaults, because there is no way make defaults apply to the transformed classes rather than the original ones.
|
|
- For removal: defaults are limited to certain classes. A tool like Hat, which transforms Haskell source, cannot transform the defaults, because there is no way make defaults apply to the transformed classes rather than the original ones.
|
|
|
|
- For fixing: report specification when it comes to defaulting impossible to implement when general recursive modules are allowed.
|
|
- For replacement: Perhaps require a default clause to name the class being defaulted over, as well as the type to choose.
|
|
- For replacement: Perhaps require a default clause to name the class being defaulted over, as well as the type to choose.
|
|
- class contexts on data definitions
|
|
- class contexts on data definitions
|
|
|
|
|
... | | ... | |