diff --git a/langs/purescript.yaml b/langs/purescript.yaml index b9db86c..535b738 100644 --- a/langs/purescript.yaml +++ b/langs/purescript.yaml @@ -68,3 +68,5 @@ template: | run: | if spago build -n; then spago run -n; (echo 'import Prelude'; echo 'import Main') > .purs-repl; spago repl; else echo 'import Prelude' > .purs-repl; spago repl -d; fi + +timeoutFactor: 2 diff --git a/langs/reasonml.yaml b/langs/reasonml.yaml index 7b2776d..3f39bda 100644 --- a/langs/reasonml.yaml +++ b/langs/reasonml.yaml @@ -32,6 +32,9 @@ install: npm install popd +setup: | + cp -a /opt/reasonml/skel/* ./ + main: "main.re" template: | print_string("Hello, world!\n"); @@ -48,8 +51,6 @@ format: print_string("Hello, world!\n") lsp: - setup: | - cp -a /opt/reasonml/skel/* ./ start: | reason-language-server code: "TODO"