Commit Graph

44 Commits

Author SHA1 Message Date
Arya Irani
ddd704448f add haskeline.iml to .gitignore 2019-11-22 13:57:28 -05:00
Tomas Mikula
9205711213 Add expectNotEqual to EasyTest. 2019-11-02 15:46:30 +01:00
Paul Chiusano
55562c2118
Merge pull request #841 from TomasMikula/serialization-tests2
Test serialization on everything in unison-src/tests
2019-10-11 10:00:21 -04:00
Tomas Mikula
c6d1d5e94b Test that deserialize . serialize = id for everything in unison-src/tests. 2019-10-03 22:49:02 +02:00
Rúnar
392b25068a
Runarorama/317 resolve edit command for resolving edit (#830)
* Fixed branchdiff semigroup
* Fixed patch diff application in 3-way merge
* Added a transcript for resolve.term
2019-10-03 12:59:12 -04:00
Arya Irani
919cd98a75 Merge branch 'master' into topic/transcripts 2019-09-30 18:40:37 -04:00
Arya Irani
613c9f764f I didn't mean to delete the fail instance for Monad 2019-09-29 16:41:02 -04:00
Arya Irani
96ec719a5a Update to ghc-8.6 / lts-14.7. Pinned megaparsec-6.5.0 vs 7.0.x 2019-09-29 13:01:56 -04:00
Paul Chiusano
e98ad86b31 fix bug in EasyTest where do tests [a,b]; c would skip running c 2019-09-24 12:02:34 -04:00
Arya Irani
e16c511435 create and track topic/unison branch for yaks/haskeline 2019-09-07 14:46:19 -04:00
Paul Chiusano
da8b7fca5f
Merge pull request #395 from unisonweb/topic/align-haskeline
add ANSI-patched haskeline as a submodule
2019-03-19 22:34:29 -04:00
Arya Irani
64e26f386f unbreak haskeline for ghcid 2019-03-19 22:11:04 -04:00
Paul Chiusano
22e49cbcfd Bytes type 2019-03-19 13:59:06 -04:00
Arya Irani
39ddf91c0e add ANSI patched haskeline as a submodule 2019-03-18 14:29:09 -04:00
Paul Chiusano
7718584404 delete parsec-layout 2018-10-04 11:15:50 -04:00
Tim McIver
8346dbe4d1 Add expectEqual to EasyTest. 2018-08-27 14:20:14 -04:00
Rúnar Óli Bjarnason
9fcc4f9bf0 everything compiling with new pattern checking but tests not passing in effect pattern inference 2018-08-22 15:51:09 -04:00
Arya Irani
ee644e79a0 Unison.Test.Typechecker2 typechecks unison files from unison-src/{tests,errors} 2018-08-06 19:47:09 -04:00
Arya Irani
7402d27f25 clean up easytest plurals 2018-06-27 18:02:48 -04:00
Arya Irani
d6c2f167c6 add easytest "pending" combinator to hide our shame 2018-06-27 11:34:21 -04:00
Paul Chiusano
c51d5280bf trim scopes if they are super long 2018-06-21 16:09:41 -04:00
Rúnar Óli Bjarnason
e39f83c6d8 Preparing for hashing data declarations 2018-05-31 15:35:35 -04:00
Paul Chiusano
8744ab6897 fix issue with "hanging" case in a binding 2018-05-30 09:36:18 -04:00
Paul Chiusano
b01b6f1af6 switch to enable/disable tracing of parsing 2018-05-29 14:26:16 -04:00
Paul Chiusano
b124d2586f Fix to virtual semi detection 2018-05-29 14:11:56 -04:00
Paul Chiusano
559daffe50 added effects to Type AST, trying to get everything parsing
There seems to be an issue with virtual semicolon parsing at end of file
2018-05-29 13:07:43 -04:00
Paul Chiusano
75e227f3ae Fixed issue with virtual_rbrace not handling eof properly, data decl example passes 2018-05-24 17:28:28 -04:00
Arya Irani
8726f22012 trying to get FileParser working without breaking anything else
limited success
2018-05-24 16:46:19 -04:00
Rúnar Óli Bjarnason
63fe1eb329 Ifthenelse blocks and case blocks tests 2018-05-23 16:01:11 -04:00
Rúnar Óli Bjarnason
2234079b71 Fixed all warnings 2018-05-23 15:22:57 -04:00
Paul Chiusano
004926efd4 got some layout blocks working, still some lingering bugs 2018-05-22 13:02:45 -04:00
Paul Chiusano
bd86eb02e1 braced block tests passing, layout block test is failing 2018-05-21 17:31:43 -04:00
Paul Chiusano
42ea0604d2 started deleting and cleanup, not compiling yet 2018-05-16 18:20:27 -04:00
Tim McIver
3e352eac03 Easytest fix to make exceptions from code under test result in test errors. 2017-02-25 23:20:18 -05:00
Paul Chiusano
cac3ab3a6b some easy test polish, added docs 2017-01-03 13:30:53 -05:00
Paul Chiusano
4a8c703d41 added Http tests, expectJust and expectRight 2017-01-03 09:55:33 -05:00
Paul Chiusano
c2d64c180c convert unison-node tests to EasyTest 2017-01-03 07:49:32 -05:00
Paul Chiusano
822c2b30ad simplify and fix handling of scopes and runOnly 2017-01-01 15:36:25 -05:00
Paul Chiusano
1a90f6a9e9 better concurrency for test logging 2016-12-31 01:04:17 -05:00
Paul Chiusano
d5f686eb22 converted unison-shared tests over to EasyTest, went fabulously 2016-12-30 14:39:14 -05:00
Paul Chiusano
2a307b0d4a added using function 2016-12-30 09:51:54 -05:00
Paul Chiusano
e292987fc7 polish, lots of helper functions 2016-12-29 01:06:53 -05:00
Paul Chiusano
379d4d5188 new testing library 2016-12-28 00:57:15 -05:00
Paul Chiusano
7b92d440a1 moved layout combinators to separate subproject in yaks directory 2016-12-26 18:08:41 -05:00