Rob Rix
|
453fd80318
|
Section header for CustomDebugStringConvertible.
|
2015-10-22 11:35:25 -04:00 |
|
Rob Rix
|
6d665ff391
|
Remove an unused conversion of Free to JSON.
|
2015-10-22 10:57:31 -04:00 |
|
Rob Rix
|
76b7df9d68
|
Constrain Free equality over CofreeType to terms whose annotations are equatable.
|
2015-10-22 10:54:49 -04:00 |
|
Rob Rix
|
8cbb69fa97
|
Rename the Syntax piecewise JSON functions after the type parameters (mostly).
|
2015-10-22 10:47:48 -04:00 |
|
Rob Rix
|
40fe88b4a4
|
Rename the Syntax piecewise equality functions after the type parameters (mostly).
|
2015-10-22 10:46:51 -04:00 |
|
Rob Rix
|
831f8dcbae
|
Name Free’s piecewise JSON functions after the type parameters.
|
2015-10-22 10:43:42 -04:00 |
|
Rob Rix
|
b7a341b8b1
|
Correct omissions in the tests.
|
2015-10-22 10:43:20 -04:00 |
|
Rob Rix
|
d678946fda
|
Name the piecewise equality functions after the type parameters.
|
2015-10-22 10:41:42 -04:00 |
|
Rob Rix
|
0a28a390b7
|
Remove SyntaxConvertible.
|
2015-10-22 10:40:08 -04:00 |
|
Rob Rix
|
5cfe2b33b9
|
Free is no longer SyntaxConvertible.
|
2015-10-22 10:39:33 -04:00 |
|
Rob Rix
|
750def8107
|
Fix up some comments.
|
2015-10-22 10:37:00 -04:00 |
|
Rob Rix
|
ad05308ab6
|
Define the recursive TermType → Free constructor over CofreeType instead.
|
2015-10-22 10:33:25 -04:00 |
|
Rob Rix
|
c9b33f826c
|
Add an annotation parameter to Free.
|
2015-10-22 10:30:38 -04:00 |
|
Rob Rix
|
c5e01c41db
|
Rename SES’ A type parameter to Leaf.
|
2015-10-22 10:28:22 -04:00 |
|
Rob Rix
|
695b69b086
|
Algorithm’s parameter must be a CofreeType.
|
2015-10-22 10:26:45 -04:00 |
|
Rob Rix
|
581ea694f9
|
Interpreter’s parameter must be a CofreeType.
|
2015-10-22 10:26:36 -04:00 |
|
Rob Rix
|
20ef96b483
|
Rename the A type parameter to Leaf.
|
2015-10-22 10:23:20 -04:00 |
|
Rob Rix
|
810c6081b9
|
Rename the B parameter to Annotation.
|
2015-10-22 10:22:21 -04:00 |
|
Rob Rix
|
b3fea32706
|
Remove the explicit conformance to TermType.
|
2015-10-22 10:21:29 -04:00 |
|
Rob Rix
|
c75b36512c
|
CofreeType implies TermType.
|
2015-10-22 10:21:04 -04:00 |
|
Rob Rix
|
234c7f59bd
|
Rename more typealiases to drop the Type suffix.
|
2015-10-22 10:18:27 -04:00 |
|
Rob Rix
|
03aa95caf9
|
Rename the TermType.LeafType associated type to Leaf.
|
2015-10-22 10:17:51 -04:00 |
|
Rob Rix
|
7eed54dcdc
|
Rename the B type parameter to Value.
|
2015-10-22 10:12:52 -04:00 |
|
Rob Rix
|
2aa104ab8c
|
Rename the A type parameter to Leaf.
|
2015-10-22 10:10:56 -04:00 |
|
Josh Vera
|
47be99ea8f
|
Merge pull request #134 from github/load-json-diffs-in-ui
Load JSON diffs in UI
|
2015-10-21 12:05:53 -04:00 |
|
Josh Vera
|
910f938431
|
Merge pull request #123 from github/output-source-range-annotations-to-json
Output source range annotations to json
|
2015-10-21 12:02:31 -04:00 |
|
Rob Rix
|
08eb766c0c
|
Merge branch 'output-source-range-annotations-to-json' into load-json-diffs-in-ui
|
2015-10-21 11:41:20 -04:00 |
|
Rob Rix
|
8eee045dfc
|
Merge branch 'master' into load-json-diffs-in-ui
|
2015-10-21 11:41:01 -04:00 |
|
Rob Rix
|
0a34d3738e
|
Merge branch 'master' into output-source-range-annotations-to-json
|
2015-10-21 11:40:26 -04:00 |
|
Rob Rix
|
3ba2585165
|
Merge pull request #125 from github/parse-json
Add JSONParser
|
2015-10-21 11:37:30 -04:00 |
|
joshvera
|
91c6ad085b
|
use sepBy
|
2015-10-21 11:25:37 -04:00 |
|
joshvera
|
7f5d5d354d
|
indentation
|
2015-10-21 11:25:33 -04:00 |
|
joshvera
|
2cf0464878
|
annotate error messages
|
2015-10-21 11:25:28 -04:00 |
|
joshvera
|
29755448db
|
handle newlines
|
2015-10-21 11:21:37 -04:00 |
|
joshvera
|
cc7f84b6c7
|
indentation
|
2015-10-21 11:17:28 -04:00 |
|
joshvera
|
24cd71a09f
|
🔥 extension
|
2015-10-21 11:16:57 -04:00 |
|
joshvera
|
246e17b922
|
Parse numbers
|
2015-10-21 11:11:49 -04:00 |
|
joshvera
|
81dc6c602e
|
Remove not combinator
|
2015-10-21 11:11:36 -04:00 |
|
joshvera
|
f949bddaa2
|
++Madness
|
2015-10-21 11:11:30 -04:00 |
|
Rob Rix
|
08f4e8c0e1
|
Wrap the diff in a hash containing both strings.
|
2015-10-20 18:03:04 -04:00 |
|
Rob Rix
|
3c8245a181
|
Remove the old UI fixtures.
|
2015-10-20 17:52:13 -04:00 |
|
Rob Rix
|
c19913abfd
|
Load diff.json.
|
2015-10-20 17:52:04 -04:00 |
|
Rob Rix
|
690cbb3866
|
Write the output to UI/diff.json.
|
2015-10-20 17:51:27 -04:00 |
|
Rob Rix
|
5d10383f64
|
Ignore a hypothetical diff.json file.
|
2015-10-20 17:51:08 -04:00 |
|
Rob Rix
|
8f6d3f545e
|
Hella diff.
|
2015-10-20 17:46:16 -04:00 |
|
Rob Rix
|
a19628c290
|
Write JSON for the diff to the passed path.
|
2015-10-20 17:46:07 -04:00 |
|
Rob Rix
|
261d241a53
|
Pass the path to the UI fixtures to doubt-json.
|
2015-10-20 17:45:32 -04:00 |
|
Rob Rix
|
5e7f3af600
|
Convert ranges to JSON in less than 20s.
This is bad and I feel bad.
|
2015-10-20 16:27:07 -04:00 |
|
Rob Rix
|
0a11552638
|
Separate benchmarks for JSON conversion, serializing, and decoding.
|
2015-10-20 15:48:08 -04:00 |
|
Rob Rix
|
a7e7ca3b6f
|
Merge remote-tracking branch 'origin/parse-json' into output-source-range-annotations-to-json
|
2015-10-20 15:45:35 -04:00 |
|