Chris Penner
e3168ee30b
Use stack test suites ( #2656 )
...
* Give tests independent names and use stack test suites
* Update parser-typechecker tests in ci
* Update testing instructions and check.sh
2022-04-07 10:16:13 -06:00
Mitchell Rosen
25330bec6a
add --test --no-run-tests
2021-12-17 15:10:06 -05:00
Arya Irani
2c4c984d06
add a script to perform checks tests similar to CI
2021-12-09 16:44:02 -10:00
Tomas Mikula
ef901c0ff6
Fix scripts/unisonloop.sh.
2019-10-01 20:36:01 +02:00
Arya Irani
6b9a9d505b
delete references to jvm runtime
2019-03-06 16:31:31 -05:00
Arya Irani
108afe9921
add unison loop script
2018-11-07 09:58:01 -05:00
Runar Bjarnason
d8c44ca78b
Fixed serialization of lambdas
2018-11-06 16:06:32 -05:00
Arya Irani
9158a6e2cb
speed up scala tests...
...
by using bloop to compile and by assuming `stack build` has already been run
2018-11-01 02:18:18 -04:00
Arya Irani
76a4c92bf1
preserve old decisions in TypeChecker.typeDirectedNameResolution
...
445 passing, 0 failing, 17 pending
TopLevelComponent is still wrong; showing typechecker/synthetic version of the term
2018-10-30 18:16:30 -04:00
Arya Irani
72c936c1e0
fixed the type of ()
...
408 tests passing, 10 failing, 17 pending
2018-10-30 15:23:28 -04:00
Arya Irani
f9f5776da9
update watchwatch to restart crashed typechecker
2018-09-27 11:59:52 -05:00
Arya Irani
8470d26e1f
update watchwatch to watch watchwatch
2018-09-25 18:02:06 -04:00
Arya Irani
a242094992
watchwatch will reload the last processed unison file after a haskell/scala build event...
...
watchwatch.sh also accepts an initial unison file as a command-line arg, e.g.
./scripts/watchwatch.sh scratch.u
2018-09-24 21:54:40 -04:00
Arya Irani
1ab300db07
update watchwatch ...
...
to ignore other files
to watch .sbt files
to kill sbt if the build.sbt file is broken, or else everything goes to hell
2018-09-24 17:04:33 -04:00
Arya Irani
245049c3d1
add scripts/watchwatch.sh to reboot the watcher if typechecker or runtime sources change
2018-09-24 16:41:27 -04:00
Arya Irani
bd7f713545
more cleanup
2018-08-31 15:24:31 -04:00
Arya Irani
3935b36638
add two pending tests, one poor error message, un-pend a test, and add description to a pending test
...
also watch *.uu files from ./scripts/watchany.sh
2018-08-31 11:37:29 -04:00
Arya Irani
135a921066
refactoring error extractor
2018-08-25 18:54:33 -05:00
Arya Irani
452fa3066a
./scripts/watchany.sh
...
- watches for changes to any .u, .hs, or .scala file
- initial .u file can be provided as command-line argument, otherwise most-recently modified .u file will be used
- defer building scala runtime until .u typechecks or .scala files are edited
2018-08-20 21:46:28 -04:00
Arya Irani
d2399a46d1
update ./scripts/watch2.sh
...
continue watching for changes even if initial haskell build fails
2018-08-19 22:52:26 -04:00
Arya Irani
fc3dd49312
beefed up watch script, triggers rebuild for haskell and scala changes too
2018-08-16 16:58:01 -04:00
Arya Irani
5fe4f6b5c9
render errors with 6 lines of separation before dropping lines from excerpt
2018-08-06 12:18:52 -04:00
Arya Irani
409802edfb
Tweak pre-push failure message
2018-08-03 14:22:56 -04:00
Arya Irani
ba3a34333d
Tweak git hooks to run stack tests on commit, and both stack and sbt tests on push.
2018-08-03 14:19:09 -04:00
Arya Irani
27dea5f600
add scripts for pre-commit/pre-push hooks
...
They run locally, and you have to install them yourself using
./scripts/install-hooks.bash once on each dev machine.
This implementation runs haskell and java tests only on git push.
We could run both on every commit, or run only haskell tests on
every commit. Both SourceTree and `git` give you the option to
skip the hooks (--no-verify) if you are sure you need to push a
broken build.
2018-08-03 14:12:27 -04:00
Arya Irani
21e01fecf8
move bootstrap.sh and test.sh to scripts/ and add watch.sh also
2018-08-02 16:45:54 -04:00
