45 Commits

Author	SHA1	Message	Date
Chris Penner	54d6fbf1bd	Add ORMOLU_DISABLE to every file. ... This allows all developers to add ormolu autoformat on save in their editors without worrying about creating huge diffs on files that haven't been formatted yet. If you format a file, remove the DISABLE comment to ensure it stays formatted in the future.	2021-11-23 12:10:58 -06:00
Chris Penner	3b7e94d9a3	Update and standardize licenses	2021-10-12 13:47:08 -06:00
Mitchell Rosen	023a86c585	add unison-util-relation test suite	2021-10-06 12:24:45 -04:00
Paul Chiusano	976941668e	add callstack to some easytest functions	2021-08-02 14:56:24 -04:00
Paul Chiusano	bc134c8612	remove Names.suffixify	2021-07-31 23:01:52 -04:00
Paul Chiusano	db764e8125	comment out the failing test that exercises this	2021-05-25 12:36:23 -05:00
Paul Chiusano	0bb1c2ad0b	fix #1860	2021-05-25 12:35:13 -05:00
Arya Irani	a58d518777	wip	2021-04-07 14:33:12 -06:00
Arya Irani	10d506208b	Merge branch 'trunk' into wip/codebase2 ... # Conflicts: # parser-typechecker/package.yaml # parser-typechecker/src/Unison/Codebase/FileCodebase.hs # parser-typechecker/transcripts/Transcripts.hs # parser-typechecker/unison-parser-typechecker.cabal # stack.yaml # unison-core/unison-core1.cabal	2021-04-06 16:23:45 -06:00
Cody Allen	49ca817535	EasyTest: better message when pick is called with empty list	2021-03-16 08:23:47 -07:00
Arya Irani	a72e59eb66	Merge branch 'trunk' into wip/codebase2	2021-01-11 22:40:41 -05:00
Arya Irani	22f07828d0	wip	2020-10-19 10:17:25 -04:00
Arya Irani	f59d9cd0fa	wip; next is add term to index	2020-10-13 16:54:08 -04:00
Arya Irani	49328bb25e	codebase2 wip; temporarily deleted old packages to improve hls startup	2020-09-15 12:28:28 -04:00
Ian Grant Jeffries	7eb4645d23	Remove now redundant extensions	2020-07-29 20:30:03 -04:00
Ian Grant Jeffries	fcc8f425e2	Standardize default-extensions throughout repo	2020-07-29 19:59:29 -04:00
Mitchell Rosen	3f4e8a450a	Bump to lts-15.13	2020-05-24 10:20:52 -04:00
Arya Irani	e8f23609d7	flushing some lint	2020-04-10 14:12:49 -04:00
pete-ts	eb4b1bb66b	easytest.pending runs hidden tests and reports accordingly	2020-03-26 19:15:19 +00:00
Tomas Mikula	9205711213	Add expectNotEqual to EasyTest.	2019-11-02 15:46:30 +01:00
Tomas Mikula	c6d1d5e94b	Test that deserialize . serialize = id for everything in unison-src/tests.	2019-10-03 22:49:02 +02: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
Paul Chiusano	22e49cbcfd	Bytes type	2019-03-19 13:59:06 -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	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