This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- | Failed experiment in generically deriving a `Functor` instance. | |
-- | Requires PureScript HEAD (what will be 0.12), and still doesn't compile :/ | |
module Data.Generic.Rep.Functor | |
( class GenericMap | |
, genericMap' | |
) where | |
import Prelude | |
import Data.Generic.Rep (class Generic, Argument(..), Constructor(..), Field(..), NoArguments(..), Product(..), Rec(..), Sum(..), from, to) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/src/Jack/Seed.purs b/src/Jack/Seed.purs | |
index db308ac..73db0a3 100644 | |
--- a/src/Jack/Seed.purs | |
+++ b/src/Jack/Seed.purs | |
@@ -19,20 +19,24 @@ module Jack.Seed ( | |
, splitSeed | |
) where | |
+import Prelude | |
+ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
With import list | |
• Could not deduce (Control.Monad.Classes.Writer.MonadWriterN | |
(Control.Monad.Classes.Core.FindTrue | |
(Control.Monad.Classes.Core.MapCanDo | |
(Control.Monad.Classes.Effects.EffWriter [Bool]) m)) | |
[Bool] | |
m) | |
arising from a use of ‘tell’ | |
from the context: Monad m |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
import sys | |
import subprocess | |
import re | |
msg_file = sys.argv[1] | |
lines = list(open(msg_file)) | |
if lines[0].startswith('TODO update'): | |
del lines[0] |
NewerOlder