... | ... | @@ -109,7 +109,7 @@ foo = show (getIncVal (Constr 1)) |
|
|
`foo` is `"2"`. Likewise it is possible that a program will fail to compile when datatype contexts are removed. However, in practice removing datatype contexts is unlikely to affect the behaviour of any real programs.
|
|
|
|
|
|
|
|
|
What it will do is to make some previously illegal programs legal. However, we do not believe that the power that this provides is worth the burden the language construct places on implementors, documentors and educators. Other extensions being worked on, such as GADTs, have a much higher power to weight ratio.
|
|
|
What removing the datatype contexts from a source file *will* do is make some previously illegal programs legal. However, we do not believe that the power that the datatype contexts feature provides is worth the burden the language construct places on implementors, documentors and educators. Other extensions being worked on, such as GADTs, have a much higher power to weight ratio.
|
|
|
|
|
|
## Current usage
|
|
|
|
... | ... | |