On Sat, Jun 13, 2015 at 9:44 AM, Zhen Zhang izgz...@gmail.com wrote:
Hi everyone,
I am having trouble porting some 6.8.2 GHC code to 7.8.3 GHC. The main
trouble I met is that, in 6.8.2, there is a includes/mkDerivedConstants.c and
some constants about RTS are declared here.
While in 7.8.3,
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
MonadFail proposal update 1
===
Rendered version of this text:
https://github.com/quchen/articles/blob/master/monad_fail_update1.md
Original MFP:
https://github.com/quchen/articles/blob/master/monad_fail.md
Short summary
-
Hi all,
While working with complex types with lots of arguments etc. errors are
becoming annoying very fast. For example, GHC prints errors in this way:
Expected type: type without any synonyms
Actual type: type with synonyms
Now I have to expand that synonym in my head to understand
Clang (and recent GCC versions) do something like this in error
messages. They say
MyString (aka std::string...lots of junk...) is uncool
maybe a similar system would help you?
Cheers,
Gabor
On 6/16/15, Ömer Sinan Ağacan omeraga...@gmail.com wrote:
Hi all,
While working with complex
GHC tries hard to preserve type synonyms where possible, but of course, it
can't preserve all of them. The general rule it tries to follow is: preserve
vanilla type synonyms; expand type families. This is true both in expected
types and actual types.
If you have a case where you believe that