Rob Rix
05c4f76663
🔥 redundant parens.
2018-10-24 15:41:14 -04:00
Rob Rix
49d7068f46
Define hmap with a LambdaCase.
2018-10-24 15:39:52 -04:00
Rob Rix
fc935058a5
Define handle with a LambdaCase.
2018-10-24 15:39:25 -04:00
Rob Rix
f2473d2807
handleCoercible.
2018-10-24 15:35:46 -04:00
Rob Rix
95d200426d
🔥 redundant parens.
2018-10-24 15:35:03 -04:00
Rob Rix
66466448ec
Simplify the reinterpretation in ScopeEnvC.
2018-10-24 15:26:20 -04:00
Rob Rix
2d71e0b6fc
Parameterize ScopeEnvC by the address type.
2018-10-24 15:23:59 -04:00
Rob Rix
cc97e57b01
Align the ScopeEnvC cases.
2018-10-24 15:21:07 -04:00
Rob Rix
b353f88ec5
Define the ScopeEnvC algebra with LambdaCase.
2018-10-24 15:20:09 -04:00
Rob Rix
277b7ad906
handleCoercible.
2018-10-24 15:16:50 -04:00
Rob Rix
676b5b5105
🔥 some redundant parens.
2018-10-24 15:16:30 -04:00
Rob Rix
d559aa1162
Use uncurry.
2018-10-24 15:09:34 -04:00
Rob Rix
8c4853eb9b
Use LambdaCase for the Modules handler.
2018-10-24 15:08:58 -04:00
Rob Rix
254e20e831
Ignore a hint that doesn’t work.
2018-10-24 15:07:23 -04:00
Rob Rix
131cae4d7b
Merge branch 'master' into higher-order-effects
2018-10-24 14:04:13 -04:00
Patrick Thomson
ab221477a4
extra import
2018-10-24 13:43:45 -04:00
Patrick Thomson
6f87624e35
Merge remote-tracking branch 'origin/master' into add-tsparse-quiet-flag
2018-10-24 13:37:16 -04:00
Patrick Thomson
ac33c7ac3a
Add timing info and make output commensurate with parse --quiet.
2018-10-24 13:36:19 -04:00
Patrick Thomson
58067a17c1
Merge pull request #2232 from github/split-up-semantic-io
...
Split up Semantic.IO.
2018-10-24 13:15:49 -04:00
Rob Rix
2216fcc44a
Effect, not carrier.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-10-24 12:40:17 -04:00
Rob Rix
41d206b9fa
Eavesdrop in evaluate.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-10-24 12:39:53 -04:00
Rob Rix
8edc379c31
Use Eavesdrop from the library.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-10-24 12:39:45 -04:00
Rob Rix
c03b7ecabd
Bump higher-order-effects for Eavesdrop.
...
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
2018-10-24 12:39:24 -04:00
Patrick Thomson
e5b7965fcd
Add a --quiet flag to the ts-parse command.
...
When parsing huge source files, I found myself wanting to time how
long the `ts-parse` command takes; however, the time spent printing
large ASTs means that such timings are inaccurate. The `tree-sitter`
CLI provides a `--quiet` flag for this purpose; I've copied it here.
2018-10-24 11:01:38 -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
25b2c3c4e9
Encapsulate the state effects inside EnvC.
2018-10-24 10:21:29 -04:00
Rob Rix
bff13c7272
Parameterize EnvC by the address type.
2018-10-24 10:14:04 -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
Rick Winfrey
49ffd509f3
Revert "Update licenses"
...
This reverts commit 89b007219c1ed275138604c8df7d8b95c88c60f0.
2018-10-23 17:15:15 -07:00
Rick Winfrey
4defc29197
Update licenses
2018-10-23 16:54:24 -07:00
Rob Rix
9c390c57ee
Prune empty branches.
2018-10-23 17:00:53 -04:00
Rob Rix
b858c1db2a
Specialize the Traversable instance for B.
2018-10-23 16:51:04 -04:00
Rob Rix
1fccee5d67
Reorder the B constructors.
2018-10-23 16:49:18 -04:00
Rob Rix
81c18a860d
Specialize null for B.
2018-10-23 16:48:56 -04:00
Rob Rix
1912fa20c1
Specialize toList for B.
2018-10-23 16:48:19 -04:00
Rob Rix
44f604bb0d
Specialize the Foldable instance for B.
2018-10-23 16:48:10 -04:00
Rob Rix
03b76df474
Run nondeterminism to B, and then produce a list from that.
2018-10-23 16:47:52 -04:00
Rob Rix
2cb955e0dc
Define a Monad instance for B.
2018-10-23 16:47:11 -04:00