Hi,
I've been looking into some StgLint-related tickets:
- #13994: Found a StgLint problem and fixed, there's another problem
waiting to be fixed. Both related with the fact that after
unarisation we lose even more typing information and type
checks needs to be
At very least the extension should be documented! Would you like to open a
ticket for that? And even offer a patch?
Thanks for pointing this out.
Simon
From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Harendra Kumar
Sent: 09 February 2018 02:43
To: Brandon Allbery
I also recall that Idris and Elm have some do-syntax like this:
do { x <- e1
; Just y <- e2
| Nothing -> exceptional-code
; etc
; etc }
That is, e2 :: blah -> IO (Maybe t), we can pattern match on the expected Just
case, but still provide code for the Nothing
Ranjit
Have you read Note [The equality types story] in compiler/prelude/TysPrim?
As you’ll see (~) is actually a class; the equality predicate is (~#).
There doesn’t seems to be a named-function predicate that checks for it
explicitly, but if you grep for eqTyCon you’ll see lots of tests for