Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: a9edd8b5383cffcdaa6cc387265e935a65bb84dc
https://github.com/yi-editor/yi/commit/a9edd8b5383cffcdaa6cc387265e935a65bb84dc
Author: Mateusz Kowalczyk <[email protected]>
Date: 2013-12-12 (Thu, 12 Dec 2013)
Changed paths:
M yi/src/library/Yi/Mode/Haskell.hs
Log Message:
-----------
More informative error from ghciLoadBuffer
Commit: a0caa6fbcbaa2a35ed34c756bb46c14180e15b45
https://github.com/yi-editor/yi/commit/a0caa6fbcbaa2a35ed34c756bb46c14180e15b45
Author: Mateusz Kowalczyk <[email protected]>
Date: 2013-12-12 (Thu, 12 Dec 2013)
Changed paths:
M yi/src/library/Yi/Mode/Haskell.hs
Log Message:
-----------
Remove redundant Data.Binary import
Commit: 52dd92807e87762b322930affe58ff2f837cf3ca
https://github.com/yi-editor/yi/commit/52dd92807e87762b322930affe58ff2f837cf3ca
Author: Mateusz Kowalczyk <[email protected]>
Date: 2013-12-12 (Thu, 12 Dec 2013)
Changed paths:
M yi/src/library/Yi/Mode/Haskell.hs
Log Message:
-----------
Remove no longer necessary qualified name
Commit: eae814b5abaab3a9ca13d894c7ee669eb113d7d2
https://github.com/yi-editor/yi/commit/eae814b5abaab3a9ca13d894c7ee669eb113d7d2
Author: Mateusz Kowalczyk <[email protected]>
Date: 2013-12-12 (Thu, 12 Dec 2013)
Changed paths:
M yi/src/library/Yi/Mode/Haskell.hs
Log Message:
-----------
Don't use LambdaCase to allow building with ≤7.6.1
Commit: da8318a0e35851ef88e87f04d91877c9ff8e0b69
https://github.com/yi-editor/yi/commit/da8318a0e35851ef88e87f04d91877c9ff8e0b69
Author: Dmitry Ivanov <[email protected]>
Date: 2013-12-13 (Fri, 13 Dec 2013)
Changed paths:
M yi/src/library/Yi/Mode/Haskell.hs
Log Message:
-----------
Merge pull request #464 from Fuuzetsu/ghciMsg
ghciLoadBuffer error message improvement
Compare: https://github.com/yi-editor/yi/compare/4ed072862479...da8318a0e358
--
--
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
---
You received this message because you are subscribed to the Google Groups
"yi.devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
