Rob Rix
|
3865fe9e71
|
Fix the test of dumbness.
|
2015-11-02 18:09:14 -05:00 |
|
Rob Rix
|
2ec0a752a0
|
Remove an unused value.
|
2015-11-02 18:06:54 -05:00 |
|
Rob Rix
|
586e8cdf6b
|
Consider nil TERM to be dumb.
|
2015-11-02 18:06:23 -05:00 |
|
Rob Rix
|
74714da9d7
|
Output the raw values, not names.
|
2015-11-02 18:03:49 -05:00 |
|
Rob Rix
|
c89aa9c16f
|
Red and green, bold.
|
2015-11-02 18:03:02 -05:00 |
|
Rob Rix
|
a22491ceda
|
Console attributes.
|
2015-11-02 18:02:37 -05:00 |
|
Rob Rix
|
75703e1561
|
Should we format?
|
2015-11-02 17:41:56 -05:00 |
|
Rob Rix
|
e4ff0e4a89
|
Is it a dumb TTY?
|
2015-11-02 17:39:47 -05:00 |
|
Rob Rix
|
1934d65b99
|
Are we talking to a TTY?
|
2015-11-02 17:39:42 -05:00 |
|
Rob Rix
|
a78564506b
|
Format the terms.
|
2015-11-02 17:30:41 -05:00 |
|
Rob Rix
|
8c2e1f6f50
|
Sort keyed children using the ordering.
|
2015-11-02 17:29:43 -05:00 |
|
Rob Rix
|
a740dcceee
|
Add a partial ordering on keyed children.
|
2015-11-02 17:29:35 -05:00 |
|
Rob Rix
|
84e111c1c1
|
Stringify keyed terms.
|
2015-11-02 17:28:21 -05:00 |
|
Rob Rix
|
02c31d7be4
|
Stringify fixed terms.
|
2015-11-02 17:26:38 -05:00 |
|
Rob Rix
|
1242534be6
|
Stringify indexed terms.
|
2015-11-02 17:26:28 -05:00 |
|
Rob Rix
|
700e2a84a1
|
Return ranges out when computing term strings.
|
2015-11-02 17:26:23 -05:00 |
|
Rob Rix
|
3c3bbc3cb9
|
Copy out term leaf ranges.
|
2015-11-02 17:24:22 -05:00 |
|
Rob Rix
|
975cfb427c
|
Stub in stringification of terms.
|
2015-11-02 17:22:39 -05:00 |
|
Rob Rix
|
ae5b50bcdf
|
CofreeType.cata ’s transformation block receives the annotation.
|
2015-11-02 17:22:24 -05:00 |
|
Rob Rix
|
ed9ca09909
|
Duplicate cata for CofreeType .
|
2015-11-02 17:20:42 -05:00 |
|
Rob Rix
|
4f03d5355b
|
🔥 Free.para .
|
2015-11-02 17:18:56 -05:00 |
|
Rob Rix
|
43100a0432
|
Sort keyed elements by fiat
|
2015-11-02 17:15:39 -05:00 |
|
Rob Rix
|
2ca27681aa
|
Pass both strings to Patch stringification.
|
2015-11-02 17:15:27 -05:00 |
|
joshvera
|
b19e995ae2
|
fix some commas
|
2015-11-02 17:03:59 -05:00 |
|
joshvera
|
306badf972
|
Compare both elements if neither are invisible
|
2015-11-02 16:27:14 -05:00 |
|
Rob Rix
|
523d7a441e
|
Use the context-printing function for indexed syntax.
|
2015-11-02 16:15:34 -05:00 |
|
Rob Rix
|
d015f972ae
|
Use the new context printing function for fixed syntax.
|
2015-11-02 16:15:13 -05:00 |
|
Rob Rix
|
7ac4c9ee03
|
Add a private function to splat out context.
|
2015-11-02 16:14:03 -05:00 |
|
Rob Rix
|
b858c164d8
|
Term printing is private.
|
2015-11-02 16:11:55 -05:00 |
|
Rob Rix
|
1027f6b67f
|
Use accurate ranges where possible.
|
2015-11-02 16:07:57 -05:00 |
|
Rob Rix
|
144f6ba2c2
|
Ranges can be nil.
|
2015-11-02 16:07:34 -05:00 |
|
Rob Rix
|
44dbf62d7c
|
Print and benchmark the diff.
|
2015-11-02 16:03:09 -05:00 |
|
Rob Rix
|
4fe901bbd4
|
Remove the switch statement.
|
2015-11-02 16:03:03 -05:00 |
|
Rob Rix
|
6f2176ca57
|
Compute the unified diff as a catamorphism.
|
2015-11-02 16:02:58 -05:00 |
|
Rob Rix
|
9959c231aa
|
Stub in a function to compute the range of a patch.
|
2015-11-02 16:02:23 -05:00 |
|
joshvera
|
c3a2e50baf
|
beginningOfNextElement should be a non-invisible element
|
2015-11-02 15:56:12 -05:00 |
|
joshvera
|
7331e387ff
|
insert separators before invisible elements
|
2015-11-02 15:39:04 -05:00 |
|
Rob Rix
|
3fbfeccce9
|
Free.para ’s transformation function receives the annotation.
|
2015-11-02 15:12:27 -05:00 |
|
Rob Rix
|
aa815e8010
|
Free.cata ’s transformation function receives the annotation.
|
2015-11-02 15:09:53 -05:00 |
|
Rob Rix
|
5aef08e4c5
|
Paramorphism over Free .
|
2015-11-02 14:33:02 -05:00 |
|
Rob Rix
|
3d5b0115b2
|
Extract Patch stringification into a separate function.
|
2015-11-02 14:21:34 -05:00 |
|
Rob Rix
|
a7dec6be3b
|
Use the Diff typealias.
|
2015-11-02 14:19:10 -05:00 |
|
Rob Rix
|
b1f1e29c13
|
Add a typealias for diffs.
|
2015-11-02 14:18:30 -05:00 |
|
Rob Rix
|
389636ffbc
|
Stub in printing of patches.
|
2015-11-02 14:14:19 -05:00 |
|
Rob Rix
|
c14a46b96f
|
unified takes before/after strings.
|
2015-11-02 14:08:20 -05:00 |
|
Rob Rix
|
683f6557ac
|
Stub in a function which pretty-prints unified diffs.
|
2015-11-02 14:04:48 -05:00 |
|
Rob Rix
|
bbce3bc4e3
|
Add the --unified flag (temporarily at least).
|
2015-11-02 13:21:10 -05:00 |
|
Rob Rix
|
e4310be948
|
Only compute the JSON &c. for split diffs.
|
2015-11-02 13:20:42 -05:00 |
|
Rob Rix
|
ec87b3b17f
|
Remove the rest property.
|
2015-11-02 13:07:33 -05:00 |
|
Rob Rix
|
dc4b9188f1
|
Return the first output we find.
|
2015-11-02 13:07:24 -05:00 |
|
Rob Rix
|
202bc2b31b
|
We’ll always have a pair of sources.
|
2015-11-02 13:06:23 -05:00 |
|
Rob Rix
|
b9f739844f
|
Arguments are expected to contain pairs of sources.
|
2015-11-02 13:04:48 -05:00 |
|
Rob Rix
|
e766a97995
|
Default to split diffs in the parser.
|
2015-11-02 12:57:41 -05:00 |
|
Rob Rix
|
39fbf3c828
|
Don’t pass the debug document versioning parameter.
|
2015-11-02 12:51:59 -05:00 |
|
Rob Rix
|
ebaa40b587
|
Ignore the first path.
|
2015-11-02 12:50:34 -05:00 |
|
Rob Rix
|
6d2729944d
|
Use the parser to get our sources out.
|
2015-11-02 12:48:21 -05:00 |
|
Rob Rix
|
58041d7b6e
|
Bump Stream for a bump to Either.
|
2015-11-02 12:46:02 -05:00 |
|
joshvera
|
d9cb6594ac
|
Merge remote-tracking branch 'origin/master' into show-empty-space
|
2015-11-02 12:29:44 -05:00 |
|
Rob Rix
|
d5e480a1c9
|
Compute the effective output to use.
|
2015-11-02 12:07:38 -05:00 |
|
Rob Rix
|
d17b6e93e4
|
Docs.
|
2015-11-02 12:04:09 -05:00 |
|
Rob Rix
|
ac15948fd9
|
Argument.rest is private.
|
2015-11-02 12:03:51 -05:00 |
|
Rob Rix
|
cb67d79dea
|
Parse finite lists.
|
2015-11-02 12:03:16 -05:00 |
|
Rob Rix
|
5926ff63ff
|
Parse an infinite list of flags and sources.
|
2015-11-02 12:03:08 -05:00 |
|
Rob Rix
|
77b43876de
|
Parse an infinite list of flags.
|
2015-11-02 12:01:33 -05:00 |
|
Rob Rix
|
7b9e6e778f
|
Stub in a source parser.
This currently asserts the lack of errors, which we’ll have to correct.
I just don’t know what the right pattern for that should be.
|
2015-11-02 12:00:11 -05:00 |
|
Rob Rix
|
feaa4e3855
|
Parse a flag.
|
2015-11-02 11:55:04 -05:00 |
|
Rob Rix
|
14ce019752
|
Add a parser for flags.
|
2015-11-02 11:51:13 -05:00 |
|
Rob Rix
|
c36198a6f4
|
Add a set of flags we can parse.
|
2015-11-02 11:46:57 -05:00 |
|
Rob Rix
|
2a0ceebd97
|
Add an output flag.
|
2015-11-02 11:44:52 -05:00 |
|
Rob Rix
|
7083424567
|
Add an output type.
|
2015-11-02 11:44:42 -05:00 |
|
Rob Rix
|
2146d75c14
|
Use rest to compute the remainder of the files.
|
2015-11-02 11:44:30 -05:00 |
|
Rob Rix
|
8292d597f4
|
Compute the tail of the argument list.
|
2015-11-02 11:44:18 -05:00 |
|
Rob Rix
|
ba42033f09
|
Retrieve the array of files.
|
2015-11-02 11:37:54 -05:00 |
|
Rob Rix
|
1e3ab7aeeb
|
Arguments are a linked list.
|
2015-11-02 11:36:52 -05:00 |
|
Rob Rix
|
f83bbf95d8
|
Arguments can be sources.
|
2015-11-02 11:36:20 -05:00 |
|
Rob Rix
|
e955c61de9
|
Stub in an arguments parser.
|
2015-11-02 11:35:41 -05:00 |
|
Rob Rix
|
4c75a79d05
|
Stub in an Argument type.
|
2015-11-02 11:35:32 -05:00 |
|
Rob Rix
|
4b295c1c3f
|
Correct the line range.
|
2015-10-30 18:16:46 -04:00 |
|
Rob Rix
|
c1d85ae7ef
|
Fall back to line by line diffing.
|
2015-10-30 18:15:16 -04:00 |
|
Rob Rix
|
214c3cb2b4
|
Add a function parsing an input string into its component lines.
|
2015-10-30 18:13:22 -04:00 |
|
Rob Rix
|
0be29f8eff
|
Remove the doubt-json folder.
|
2015-10-30 17:53:55 -04:00 |
|
Rob Rix
|
becbc868c2
|
Move the JSON fixtures.
|
2015-10-30 17:53:46 -04:00 |
|
Rob Rix
|
e679f1e434
|
Remove the sources from the project.
|
2015-10-30 17:53:06 -04:00 |
|
Rob Rix
|
7b4c3df48e
|
Remove the doubt-json target.
|
2015-10-30 17:52:23 -04:00 |
|
Rob Rix
|
cfe655c42e
|
NSURL(string:) “succeeds” with paths, but makes broken URLs.
|
2015-10-30 17:49:59 -04:00 |
|
Rob Rix
|
67dae454f0
|
Path extensions can be non-nil and empty.
|
2015-10-30 17:25:19 -04:00 |
|
Rob Rix
|
49f8e54409
|
Use a computed property.
|
2015-10-30 17:21:47 -04:00 |
|
Rob Rix
|
ec579b2053
|
Allow the fragment to specify a type.
|
2015-10-30 17:16:02 -04:00 |
|
Rob Rix
|
ff760d67b3
|
Remove the Term/Diff typealiases.
|
2015-10-30 14:57:33 -04:00 |
|
Rob Rix
|
8fadcd3d95
|
JSONLeaf doesn’t need to import Foundation.
|
2015-10-30 14:57:10 -04:00 |
|
Rob Rix
|
62cb428ea6
|
Parse JSON with the JSON parser.
|
2015-10-30 14:56:38 -04:00 |
|
Rob Rix
|
4bd9a4d600
|
Use a switch statement.
|
2015-10-30 14:56:18 -04:00 |
|
Rob Rix
|
9476deb5d6
|
Convert CofreeJSON to Term.
|
2015-10-30 14:56:05 -04:00 |
|
Rob Rix
|
1850fdeeb6
|
Just take categories directly.
|
2015-10-30 14:55:02 -04:00 |
|
Rob Rix
|
4e79596773
|
Use the JSONLeaf categories.
|
2015-10-30 14:54:23 -04:00 |
|
Rob Rix
|
9f9b7e1517
|
JSONLeaf is Categorizable.
|
2015-10-30 14:54:18 -04:00 |
|
Rob Rix
|
13a872d477
|
Add an Info constructor from ranges/JSON leaves.
|
2015-10-30 14:52:22 -04:00 |
|
Rob Rix
|
28e417e1c4
|
Make the implicit constructor explicit.
|
2015-10-30 14:49:15 -04:00 |
|
Rob Rix
|
a4c6a6ce6d
|
Remove the test examples.
|
2015-10-30 13:59:39 -04:00 |
|
Rob Rix
|
1ce9b60e2e
|
Copy benchmarking in from doubt-json.
|
2015-10-30 13:59:22 -04:00 |
|
Rob Rix
|
40570c639c
|
Use the parser function.
|
2015-10-30 13:58:43 -04:00 |
|
Rob Rix
|
d1d59c61ac
|
Abstract a function to select the parser.
|
2015-10-30 13:58:19 -04:00 |
|
Rob Rix
|
fb8ecab7ef
|
Bump tree-sitter-javascript.
|
2015-10-30 13:42:43 -04:00 |
|
Rob Rix
|
a306872d43
|
Retarget the parser source reference.
|
2015-10-30 13:38:29 -04:00 |
|
Rob Rix
|
03a7a7ee25
|
Move the JS parser.
|
2015-10-30 13:37:40 -04:00 |
|
joshvera
|
cfa5d8ae14
|
Merge branch 'master' into show-empty-space
|
2015-10-30 09:32:34 -04:00 |
|
joshvera
|
e722325749
|
render diffs again!
|
2015-10-29 18:24:29 -04:00 |
|
Rob Rix
|
1ebbbf3f28
|
Remove the UI path argument.
|
2015-10-29 18:23:48 -04:00 |
|
Rob Rix
|
ab49d4ab53
|
Get the path from the info plist.
|
2015-10-29 18:23:32 -04:00 |
|
Rob Rix
|
58df210d53
|
Add the path to the info plist.
|
2015-10-29 18:23:25 -04:00 |
|
Rob Rix
|
465ba7feb2
|
Try the old standby of NSTemporaryDirectory.
|
2015-10-29 18:14:02 -04:00 |
|
Rob Rix
|
844d3a2515
|
Remove the JSON path.
|
2015-10-29 18:12:07 -04:00 |
|
Rob Rix
|
0d0c6c186d
|
Find the UI path one earlier.
|
2015-10-29 18:11:58 -04:00 |
|
Rob Rix
|
d38c8b0ff0
|
Try to make a temporary file. What could go wrong?
|
2015-10-29 18:10:58 -04:00 |
|
Rob Rix
|
11eece38aa
|
Load on construction.
|
2015-10-29 16:50:51 -04:00 |
|
Rob Rix
|
c1b2f63c28
|
Load effects.js
This reverts commit 0313713d2482ceeb616c44b2e65faea906f7cd64.
|
2015-10-29 16:49:34 -04:00 |
|
joshvera
|
7073a35a04
|
Render pure values
|
2015-10-29 16:27:41 -04:00 |
|
Rob Rix
|
b02d05fd9f
|
Fetch the parser in one.
|
2015-10-29 16:25:01 -04:00 |
|
Rob Rix
|
1e24167124
|
Parsing throws.
|
2015-10-29 16:23:58 -04:00 |
|
Rob Rix
|
30fa2995cc
|
Add a typealias for parsers.
|
2015-10-29 16:20:57 -04:00 |
|
Rob Rix
|
de8fc96933
|
Use Source to represent most of the work.
|
2015-10-29 16:19:23 -04:00 |
|
Rob Rix
|
ee50dc7215
|
Move the lists of productions into the parser.
|
2015-10-29 16:14:05 -04:00 |
|
Rob Rix
|
933d21b198
|
Rename the table.
|
2015-10-29 16:10:01 -04:00 |
|
Rob Rix
|
3072e47339
|
Move the table of languages by file extension into Source.
|
2015-10-29 16:09:31 -04:00 |
|
Rob Rix
|
aa4f982c42
|
Sources can be loaded from.
|
2015-10-29 16:08:40 -04:00 |
|
Rob Rix
|
0f74cd324d
|
Sources are constructed with a string.
|
2015-10-29 16:06:51 -04:00 |
|
Rob Rix
|
55809d3146
|
Source types are non-optional.
|
2015-10-29 16:04:51 -04:00 |
|
Rob Rix
|
9b7e6b4795
|
add a Source type.
|
2015-10-29 16:04:10 -04:00 |
|
Rob Rix
|
344c42f9da
|
Clarify a couple of error messages.
|
2015-10-29 15:59:34 -04:00 |
|
Rob Rix
|
ea90628828
|
.h is a perfectly cromulent path extension.
|
2015-10-29 15:50:08 -04:00 |
|
Rob Rix
|
78200a32de
|
Map, not flatMap.
This causes it to select the file URL overload. Kinda silly.
|
2015-10-29 15:44:26 -04:00 |
|
Rob Rix
|
68aba834e3
|
Guard clauses for parsing the URLs.
|
2015-10-29 15:40:36 -04:00 |
|
Rob Rix
|
e10312ef53
|
Spacing.
|
2015-10-29 15:39:32 -04:00 |
|
Rob Rix
|
9114c91d82
|
Dedent.
|
2015-10-29 15:39:26 -04:00 |
|
Rob Rix
|
e208e81e63
|
Guard clauses for the other paths.
|
2015-10-29 15:39:12 -04:00 |
|
Rob Rix
|
59da5ac57c
|
Rename the other files.
|
2015-10-29 15:38:35 -04:00 |
|
Rob Rix
|
d2439b85f4
|
Read the files directly.
|
2015-10-29 15:38:06 -04:00 |
|
Rob Rix
|
a16e0ede56
|
Pull the URLs into guard clauses.
|
2015-10-29 15:36:42 -04:00 |
|
Rob Rix
|
7f0d18934c
|
Use the language we got.
|
2015-10-29 15:34:00 -04:00 |
|
Rob Rix
|
1d077f60d5
|
Get the language out of the table.
|
2015-10-29 15:33:52 -04:00 |
|
Rob Rix
|
aa78a266dd
|
Capture the extensions.
|
2015-10-29 15:33:28 -04:00 |
|
Rob Rix
|
10a38fcff0
|
Guard against comparisons we can’t make.
|
2015-10-29 15:31:50 -04:00 |
|
Rob Rix
|
8c354ef30e
|
Get the paths as URLs.
|
2015-10-29 15:28:26 -04:00 |
|
Rob Rix
|
e51729aae6
|
termWithInput takes a language.
|
2015-10-29 15:20:59 -04:00 |
|
Rob Rix
|
c2fa2ff621
|
Capture a temporary holding the parser.
|
2015-10-29 15:20:31 -04:00 |
|
Rob Rix
|
c5dcd9dbd9
|
Capture the originating paths.
|
2015-10-29 15:19:35 -04:00 |
|
Rob Rix
|
bcb6cb5dc2
|
Merge branch 'master' into parse-c-sources
|
2015-10-29 15:17:30 -04:00 |
|
Rob Rix
|
2e76f541eb
|
Match against the predicate.
|
2015-10-29 15:12:16 -04:00 |
|
Rob Rix
|
2930932479
|
Add a set of productions to treat as Fixed.
|
2015-10-29 15:11:52 -04:00 |
|
joshvera
|
c8e12176e3
|
Merge branch 'master' into show-empty-space
|
2015-10-29 15:11:20 -04:00 |
|