search

lspitzner / exference

Haskell tool to generate expressions from types
Other
101 stars 4 forks source link

exference (or at least the bot) returns bogus result for "IO a -> a" #4

Closed lspitzner closed 6 years ago

lspitzner commented 8 years ago 
:exf "IO a -> a" -m
<exferenceBot> \ i1 ->
<exferenceBot>   let (Cont f5)
<exferenceBot>         = Cont
<exferenceBot>             (\ f6 -> fmap (\ m -> f6 m >>= fmap (\ b22 -> b22 /= b22)) i1)
<exferenceBot>     in f5 id
<exferenceBot> \ i1 ->
<exferenceBot>   let (Cont f5)
<exferenceBot>         = Cont
<exferenceBot>             (\ f6 -> fmap (\ m -> f6 m >>= fmap (\ b22 -> b22 /= True)) i1)
<exferenceBot>     in f5 id
…
lspitzner commented 6 years ago

This was fixed long time ago, via 3002bd65083d685ddd05b7f13225952aad9417b9.