This file contains 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
0 info it worked if it ends with ok | |
1 verbose cli [ '/usr/bin/node', '/usr/bin/npm', 'run', 'build' ] | |
2 info using npm@5.7.1 | |
3 info using node@v8.10.0 | |
4 verbose run-script [ 'prebuild', 'build', 'postbuild' ] | |
5 info lifecycle remix-ide@0.5.0~prebuild: remix-ide@0.5.0 | |
6 info lifecycle remix-ide@0.5.0~build: remix-ide@0.5.0 | |
7 verbose lifecycle remix-ide@0.5.0~build: unsafe-perm in lifecycle true | |
8 verbose lifecycle remix-ide@0.5.0~build: PATH: /usr/lib/node_modules/npm/node_modules/npm-lifecycle/node-gyp-bin:/home/stephen/Projects/remix-ide/node_modules/.bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin | |
9 verbose lifecycle remix-ide@0.5.0~build: CWD: /home/stephen/Projects/remix-ide |
This file contains 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
type EvalSt = State Env | |
eval :: Expr -> EvalSt Int | |
eval (Var v) = do | |
env <- get | |
return (head [val |(x,val) <- env, x == v]) | |
eval (N n) = return n | |
eval (Add e1 e2) = do | |
v1 <- eval e1 | |
v2 <- eval e2 |
This file contains 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
BIND: Var: ex0 | |
| | |
App | |
| | |
---------------------------------------- | |
/ \ | |
Var: D.fromList App | |
| | |
------------------------------- | |
/ \ |
This file contains 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
module Explodes where | |
import qualified Data.DList as D | |
explode :: Int -> [a] -> [a] | |
explode n lst = concat (map (\x -> replicate n x) lst) | |
ex0 :: Int -> D.DList a -> [a] | |
ex0 n lst = concat (map (\x -> replicate n x) (D.toList lst)) |
This file contains 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
BIND: Var: explode | |
| | |
App | |
| | |
------------------------------- | |
/ \ | |
Var: concat App | |
| | |
------------------------- | |
/ \ |
This file contains 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
[~/Projects/HaRe] ghci test/TypeUtilsSpec.hs | |
GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help | |
*** WARNING: /home/stephen/Projects/HaRe is writable by someone else, IGNORING! | |
Suggested fix: execute 'chmod 644 /home/stephen/Projects/HaRe' | |
*** WARNING: /home/stephen/Projects/HaRe/.ghci is writable by someone else, IGNORING! | |
Suggested fix: execute 'chmod 644 /home/stephen/Projects/HaRe/.ghci' | |
test/TypeUtilsSpec.hs:5:18: | |
Could not find module ‘TestUtils’ | |
Perhaps you meant Test.Util |