Patrick Thomson
060c8f50ff
Refactor: use pattern synonyms to construct BlobPairs.
...
The `BlobPair` type is defined as an alias for `Join These Blob`. Though
this sacrifices a degree of type safety, it's extremely convenient, as
you can get to a Functor and Bifunctor instance very quickly.
Pattern-matching on `BlobPair` is less elegant though, as it requires
a nested Join then a match on `These`, which is not immediately
indicative of what a given pair might do.
This adds pattern synonyms for the `Inserting`, `Deleting`, and
`Diffing` cases, and removes the less-expressive functions returning such.
2019-03-01 11:19:24 -05:00
Timothy Clem
cc78c0d8d5
Case Api as generated
2019-02-12 12:49:34 -08:00
Timothy Clem
ce04fa8f12
Refactor runTask
2019-02-01 15:04:23 -08:00
Timothy Clem
d3330aa9f3
Dedicated input types for Blob and BlobPair
2019-01-28 14:37:50 -08:00
Timothy Clem
6befe07ea3
Remove rest of old diff renderers and Diff.hs
2019-01-22 12:05:45 -07:00
Timothy Clem
5e6d0240b2
Use the new diff api from the CLI, fix up tests again
2019-01-22 11:42:06 -07:00
Timothy Clem
154e0388af
Goodbye Semantic.Parse
2019-01-18 16:04:23 -08:00
Timothy Clem
dad86f11e7
No more TermRenderer and all tests passing
2019-01-18 15:54:55 -08:00
Timothy Clem
f23110a73a
Transition sexpression term rendering
2019-01-18 09:29:51 -08:00
Timothy Clem
15643e1d4f
Switch over ToCDiffRenderer (will fix the tests next)
2019-01-17 15:58:49 -08:00
Timothy Clem
d8ef1c1f40
Fix up tests
2019-01-17 15:36:56 -08:00
Timothy Clem
e3afd9d684
Symbol rendering is entirely on the new path
2019-01-17 15:13:39 -08:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
Timothy Clem
2e1626d949
Make symbols output also return partial results
2018-11-13 11:02:23 -08:00
Patrick Thomson
ef696d3c41
Split up Semantic.IO.
...
This looks like a big patch, but it's very straightforward: no
behavior has changed.
After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:
* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`
This should have a positive effect on compile times and ease of
navigation throughout the codebase.
2018-10-23 15:37:49 -04:00
Timothy Clem
2d1a8cc7e7
Express this a bit more elegantly
2018-09-26 16:55:34 -05:00
Timothy Clem
505c61959e
This goes back to throwing now
2018-09-25 14:04:58 -05:00
Timothy Clem
099faacbce
Re-work these tests now that we return if parse fails
2018-08-30 12:51:29 -07:00
Patrick Thomson
695d280f50
bump up the cancelable parsing timeout
2018-07-13 15:15:10 -04:00
Timothy Clem
de48b8cfea
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-18 14:58:50 -07:00
Timothy Clem
039d43e523
🔥 the --tags output and associated code
2018-06-18 11:36:31 -07:00
Patrick Thomson
659500551c
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-15 19:30:50 -04:00
Timothy Clem
23390f7789
Refactor Stats addr
2018-06-15 10:31:51 -07:00
Timothy Clem
21e3f69110
Just one defaultConfig
2018-06-15 10:17:02 -07:00
Timothy Clem
cff0e073ae
Comment typo
2018-06-13 17:48:22 -07:00
Timothy Clem
9b45928227
Fix up test/spec
2018-06-13 17:03:15 -07:00
Patrick Thomson
19e7ff7510
Reinstate import graph functionality.
2018-06-13 12:47:35 -04:00
Patrick Thomson
36d5b7562a
Revert "gRPC import graph"
2018-06-13 12:34:35 -04:00
Patrick Thomson
c563747f87
tests compile now
2018-06-12 12:09:40 -04:00
Patrick Thomson
0fdef390b2
Relax the timeout in the cancelable parsing test.
...
If this keeps whining, I'll remove the test, but let's try tripling
the timeout interval first.
2018-06-05 13:13:08 -04:00
Patrick Thomson
10a863f57c
Fix tests
2018-06-04 18:26:47 -04:00
Timothy Clem
359031d777
s/Program/Statements in all of the tests
2018-06-01 11:44:03 -07:00
Timothy Clem
a4e0ca6686
Fix tests and use fixtures that are easier to maintain
2018-05-31 17:20:51 -07:00
Timothy Clem
9baea34f5d
Generically derive ToJSONFields1 for basically everything
2018-05-31 10:56:04 -07:00
Timothy Clem
ddc4923e88
Fix tests
2018-05-30 09:53:01 -07:00
Timothy Clem
2d08451d87
Call [] Statements
2018-05-29 14:25:31 -07:00
Patrick Thomson
f563a2c808
forgot a do
2018-05-22 17:25:17 -04:00
Patrick Thomson
c8d5a8d231
add test for cancelling in-flight parsers
2018-05-22 17:01:17 -04:00
Patrick Thomson
949b9be418
add spec
2018-05-22 16:53:03 -04:00
Rob Rix
367982bc8d
Don’t use SomeRenderer in the CLI spec.
2018-05-14 18:44:19 -04:00
Rob Rix
84ea29a60b
Fix the tests.
2018-05-14 18:39:41 -04:00
Rob Rix
f047b57ecc
Encoding order is significant.
2018-05-14 16:18:57 -04:00
Rob Rix
5bae88724b
Move the diffTermPair tests into the interpreter spec.
2018-05-14 16:09:39 -04:00
Rob Rix
b979e9757c
Run the builders.
2018-05-14 10:28:01 -04:00
Rob Rix
fc70382d5b
Correct the handle types.
2018-05-14 10:27:58 -04:00
Rob Rix
0d0aeafdc5
Add an openFileForReading helper for the tests.
2018-05-14 10:23:29 -04:00
Rob Rix
a9d3b29e02
We expect a ByteString here.
2018-05-11 15:31:28 -04:00
Timothy Clem
e2722ea7e9
Construct File(s) here too
2018-04-20 16:34:37 -07:00
Timothy Clem
f96db32268
Few more test fixes
2018-04-20 16:30:06 -07:00
Timothy Clem
7c2a8a464e
Couple of test fixes
2018-04-20 16:27:53 -07:00
