Rob Rix 2dfd3322a2 Merge branch 'master' into optimize-for-large-nested-branches		2017-06-15 11:02:00 -04:00
..
Data	Bounds are closed ranges.	2017-06-15 10:06:15 -04:00
fixtures	Merge branch 'master' into optimize-for-large-nested-branches	2017-06-15 11:02:00 -04:00
repos	remove go-test repo	2016-10-31 17:13:57 -04:00
SES/Myers	Correct the type annotations in the tests.	2017-03-23 14:14:03 -04:00
Test/Hspec	One more newline before diff	2017-02-15 08:20:49 -08:00
AlignmentSpec.hs	Compute actualLineRanges over the whole Source.	2017-05-19 10:30:58 -04:00
CommandSpec.hs	Correct the CommandSpec.	2017-06-15 10:17:41 -04:00
DiffSpec.hs	diffTerms takes its inputs in Both.	2017-06-01 11:10:47 -04:00
IntegrationSpec.hs	Start to build new interface for semantic	2017-04-19 16:33:27 -07:00
InterpreterSpec.hs	diffTerms takes its inputs in Both.	2017-06-01 11:10:47 -04:00
PatchOutputSpec.hs	Sort out the tests to pass language with paths	2017-05-09 15:55:26 -07:00
RangeSpec.hs	Merge branch 'master' into pretty-print-expectations	2016-09-20 05:56:12 +09:00
SemanticCmdLineSpec.hs	🔥 unused variables.	2017-06-14 23:18:35 -04:00
SemanticSpec.hs	Filter out both-missing cases up front.	2017-06-01 11:33:12 -04:00
SourceSpec.hs	🔥 a redundant import.	2017-05-19 12:19:35 -04:00
Spec.hs	Git gone.	2017-06-14 17:47:31 -04:00
SpecHelpers.hs	More spec 🔥	2017-06-14 17:54:29 -04:00
TermSpec.hs	Migrate the Term property test to leancheck.	2017-01-07 23:21:22 -05:00
TOCSpec.hs	Add a test for file that starts with newline	2017-06-14 11:01:12 -06:00