joshcough

pro:L5-Haskell joshcough$ ht
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: l-0.1.0.0 (user goal)
trying: l-0.1.0.0:+tests
rejecting: l-0.1.0.0:!test (global constraint requires opposite flag
selection)
trying: l-0.1.0.0:*test
trying: test-framework-th-0.2.4 (dependency of l-0.1.0.0:+tests)
trying: regex-posix-0.95.2 (dependency of test-framework-th-0.2.4)

joshcough

In-place registering ermine-0.6...
Preprocessing test suite 'properties' for ermine-0.6...

<no location info>:
    ghc: panic! (the 'impossible' happened)
  (GHC version 7.8.0.20140228 for x86_64-apple-darwin):
	Dynamic linker not initialised

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

joshcough

class YellowBrickRoad extends ListeningFor(OnPlayerMove((p, e) =>
  if (p.blockOn isNot AIR) p.blockOn changeTo GOLD_BLOCK
))

joshcough

> publish
[info] Wrote /Users/joshcough/work/ermine/ermine-parser/target/scala-2.11/scala-parsers_2.11-0.2-SNAPSHOT.pom
[info] :: delivering :: scala-parsers#scala-parsers_2.11;0.2-SNAPSHOT :: 0.2-SNAPSHOT :: integration :: Wed Jun 11 15:26:48 EDT 2014
[info] 	delivering ivy file to /Users/joshcough/work/ermine/ermine-parser/target/scala-2.11/ivy-0.2-SNAPSHOT.xml
{"message":"Provided artifact path does not comply with Maven's convention"}
java.lang.RuntimeException: error uploading to https://api.bintray.com/maven/ermine/maven/scala-parsers/scala-parsers/scala-parsers_2.11/0.2-SNAPSHOT/scala-parsers_2.11-0.2-SNAPSHOT.pom: {"message":"Provided artifact path does not comply with Maven's convention"}
	at bintray.BintrayMavenRepository.put(resolver.scala:22)

joshcough

import Control.Applicative
import Control.Exception
import Control.Monad
import Data.Maybe
import System.IO

withHandle :: Handle -> IO [String]
withHandle h = do
  s <- hGetLine h
  (s:) <$> (withHandle h)

joshcough

• for an empty checkbox
• for a checked checkbox

joshcough

sexprParser :: Parser SExpr
sexprParser = choice [intParser, symParser, listParser]

symParser :: Parser SExpr
symParser = AtomSym <$> ident variable

variable :: TokenParsing m => IdentifierStyle m
variable = IdentifierStyle
  { _styleName = "identifier"
  , _styleStart = varInit

joshcough

myToken :: Parser a -> Parser a
myToken p = p <* (lookAhead $ eof <|> someSpace <|> (symbolic ')' >> return ()))

sexprParser :: Parser SExpr
sexprParser = choice [intParser, symParser, listParser]

symParser :: Parser SExpr
symParser = AtomSym <$> myToken (ident variable)

variable :: TokenParsing m => IdentifierStyle m

joshcough

src/L/Computer.hs:163:23:
    Could not deduce (m ~ ErrorT Halt m0)
    from the context (MonadError Halt m,
                      MonadState c m,
                      HasComputer c a)
      bound by the type signature for
                 readMem :: (MonadError Halt m, MonadState c m, HasComputer c a) =>
                            String -> Int64 -> m Int64
      at src/L/Computer.hs:162:12-93
      ‘m’ is a rigid type variable bound by

joshcough

129: freezeComputer :: Computer (STVector (World m) Int64) a -> Computer (Vector Int64) a
130: freezeComputer c = error "todo"


src/L/Computer.hs:129:19:
    Couldn't match type ‘World m0’ with ‘World m’
    NB: ‘World’ is a type function, and may not be injective
    The type variable ‘m0’ is ambiguous
    Expected type: Computer (STVector (World m) Int64) a
                   -> Computer (Vector Int64) a