Patrick Thomson
aaf7bba187
And kill Doctests.hs.
2018-10-31 15:56:57 -04:00
Patrick Thomson
b9cf8f73c6
Environment and App.
2018-10-31 15:47:30 -04:00
Patrick Thomson
d473b9e1af
add Data/Abstract/Name/Spec
2018-10-31 13:19:43 -04:00
Patrick Thomson
b0e6190dbf
add Data/Range/Spec
2018-10-31 12:46:52 -04:00
Patrick Thomson
cd05aaa7a5
add Data/Graph/Spec
2018-10-31 12:30:56 -04:00
Rob Rix
74f183921a
Merge branch 'master' into break-dependency-of-config-on-SHA
2018-10-30 15:40:48 -04:00
Rob Rix
4ec497b793
Use runTask when we aren’t setting the Options.
2018-10-30 14:49:07 -04:00
Patrick Thomson
6b476d0eb7
Add 'purely' combinator to Matching and rename it.
...
@tclem and I found ourselves wanting an arrow-like combinator that
promotes a given function to a Matcher. While I think an Arrow
instance is going a little overboard, there's no harm in adding a
'purely' function, the naming of which is commensurate with the
rewriting DSL.
This also renames the module, since there's not anything really
abstract about matching (indeed, it is quite concrete).
2018-10-30 11:04:11 -04:00
Rob Rix
131cae4d7b
Merge branch 'master' into higher-order-effects
2018-10-24 14:04:13 -04:00
Rob Rix
15a8917c84
Simplify the FunctionC carrier instances.
2018-10-24 11:00:54 -04:00
Rob Rix
83ac081cec
SomeError.
2018-10-24 10:32:05 -04:00
Rob Rix
512415db6a
Fix the import of SomeError.
2018-10-24 10:11:27 -04:00
Rob Rix
b6252f82f5
SomeError, not SomeExc.
2018-10-24 10:11:18 -04:00
Rob Rix
90338e92fc
Update the TOC spec for the new effect system.
2018-10-24 10:09:57 -04:00
Rob Rix
ee1491ab51
Fix namespaceScope.
2018-10-24 10:06:22 -04:00
Rob Rix
090a395bb6
Fix up the carrier type.
2018-10-24 10:05:22 -04:00
Rob Rix
fd1cc7d8cd
Fix some other handlers.
2018-10-24 10:01:55 -04:00
Rob Rix
780d0a478b
Rename the carrier.
2018-10-24 10:01:49 -04:00
Rob Rix
46ca8ac121
Fix a bunch of handlers.
2018-10-24 09:59:57 -04:00
Rob Rix
de9e610a2f
Correct the name of the Trace carrier.
2018-10-24 09:58:35 -04:00
Rob Rix
ce37fd58f1
Fix some imports.
2018-10-24 09:58:06 -04:00
Rob Rix
647f960c26
Fix SpecEff.
2018-10-24 09:47:24 -04:00
Rob Rix
739426de50
Fix a couple of handlers.
2018-10-24 09:47:14 -04: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
Rob Rix
a7f59e55bc
SomeError, not SomeExc.
2018-10-22 09:53:59 -04:00
Rob Rix
3ef2efa73a
Merge branch 'master' into higher-order-effects
2018-10-22 09:45:57 -04:00
Patrick Thomson
d3db754004
weirdness in tests
2018-10-16 23:04:39 -04:00
Rob Rix
c9e6912068
Port most of the system over to higher-order-effects.
2018-10-16 18:48:08 -04:00
Patrick Thomson
ebda4bfaa1
Merge branch 'master' into bracket-effect
2018-10-16 17:52:30 -04:00
Patrick Thomson
1de1f0b5c1
try catching ParserTimedOut exceptions in parse-examples
2018-10-16 17:39:36 -04:00
Patrick Thomson
5e52bede0a
Fix the test suite.
2018-10-15 12:47:18 -04:00
Timothy Clem
ac70c565cc
Change up what Declarations we identify
2018-10-05 09:54:57 -07:00
Rob Rix
5c2dac35e8
Merge branch 'master' into first-order-closures
2018-09-27 13:37:25 -05:00
Timothy Clem
35d77b505e
Revert tableOfContentsBy removal of extra Maybe
2018-09-27 13:05:11 -05:00
Timothy Clem
2d1a8cc7e7
Express this a bit more elegantly
2018-09-26 16:55:34 -05:00
Timothy Clem
44b8e9249a
Align the things
2018-09-26 16:54:48 -05:00
Timothy Clem
c8dfe57a48
Remove Data.Record entirely
2018-09-26 14:05:29 -05:00
Timothy Clem
1913277e74
Replace the annotation necessary for toc
...
Includes span in Declaration, refactors toc functions to remove a layer of maybe
2018-09-26 13:54:16 -05:00
Timothy Clem
f6f556fb32
TOC is the only thing with a custom annotation right now
2018-09-25 17:09:43 -05:00
Timothy Clem
a6ad3f7f59
Reduce usage of DiffAnnotation
2018-09-25 16:52:40 -05:00
Rob Rix
0653832d9d
Swap the order of the parameters to Value.
2018-09-25 16:38:05 -05:00
Rob Rix
6affc61d26
The tests pass. That’s all that matters.
2018-09-25 15:17:06 -05:00
Rob Rix
2db44ac715
Fix the eval spec.
2018-09-25 14:41:57 -05:00
Timothy Clem
505c61959e
This goes back to throwing now
2018-09-25 14:04:58 -05:00
Rob Rix
f3c20a8fad
ConcreteEff is no more.
2018-09-25 13:40:07 -05:00
Timothy Clem
5e2241ffe9
Don't need to know about Record here either
2018-09-25 11:20:57 -05:00
Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Rob Rix
c6769d2e01
Resume using a first-order definition of functions.
2018-09-21 14:42:57 -04:00
Timothy Clem
a481f2ac2e
TypeOperators required
2018-09-21 09:47:36 -07:00
Timothy Clem
dfe8c842ed
Term doesn't need to know about Record
2018-09-21 09:42:24 -07:00
