14288 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	5da9f90532	Define an Output instance for ByteString.	2017-07-28 11:21:21 -04:00
Timothy Clem	709c4c98fc	Use unwords and fmap instead of foldr and <>	2017-07-28 08:12:28 -07:00
Rob Rix	ab2c1a7cd3	Define an Output typeclass.	2017-07-28 11:12:04 -04:00
Rob Rix	acb35a5869	Stub in a module for an output typeclass.	2017-07-28 11:11:30 -04:00
Timothy Clem	2de353451d	Just use a let here	2017-07-28 08:08:30 -07:00
Timothy Clem	162f25de9b	Clean up lambdas for displayException	2017-07-28 08:05:08 -07:00
Rob Rix	9ab8025ee7	Merge pull request #1257 from github/distribute-alternation-through-binds-and-overlapping-committed-choices ... Distribute alternation through binds and overlapping committed choices	2017-07-27 22:05:43 -04:00
Rob Rix	bc5a98766c	Merge branch 'master' into distribute-alternation-through-binds-and-overlapping-committed-choices	2017-07-27 20:38:12 -04:00
Rob Rix	704d5ffe97	Merge pull request #1263 from github/remove-c-term-assignment ... Remove C term assignment	2017-07-27 20:37:43 -04:00
Rob Rix	cb40e74bdc	🔥 the C package.	2017-07-27 17:14:54 -04:00
Rob Rix	0978826498	🔥 C term assignment.	2017-07-27 17:14:40 -04:00
Rob Rix	e5eb9f7a5b	🔥 the C constructor in Language.	2017-07-27 17:14:23 -04:00
Timothy Clem	3ab53d77a8	Bit more cleanup	2017-07-27 13:38:30 -07:00
Timothy Clem	eb7f5277e0	Little bit of cleanup	2017-07-27 12:56:04 -07:00
Timothy Clem	11876f2dcd	Write key/value logs and log timing	2017-07-27 11:21:59 -07:00
Rob Rix	aa15a97d3e	Test matching of alternations around pure.	2017-07-27 09:36:13 -04:00
Timothy Clem	a00701f96f	Basic ability to set exitStatus	2017-07-26 20:50:59 -07:00
Rob Rix	95becb09cb	Short-circuit alternations of throws at left.	2017-07-26 19:17:44 -04:00
Rob Rix	3d773fbe7d	Allow throw rules to participate in committed choices.	2017-07-26 19:16:47 -04:00
Rob Rix	3a8c6ed83f	Allow catch rules to participate in committed choices.	2017-07-26 19:14:31 -04:00
Rob Rix	75fd8b86f8	Catch rules hold assignments.	2017-07-26 19:14:01 -04:00
Rob Rix	368aca225d	Coalesce returns on the left into committed choices.	2017-07-26 19:09:31 -04:00
Rob Rix	86e7837e76	Give Choose rules a (left-biased) way to match at the end of input.	2017-07-26 19:07:06 -04:00
Rob Rix	8486057a6d	Alternation distributes through binds over Source rules.	2017-07-26 18:45:00 -04:00
Rob Rix	76feae64d7	Alternation distributes through binds over Location rules.	2017-07-26 18:42:52 -04:00
Rob Rix	49449f5be2	Test that alternation distributes through committed choice & is nullable.	2017-07-26 18:42:36 -04:00
Rob Rix	a5236753e0	Test that alternation distributes through committed choice and matches single values.	2017-07-26 18:42:18 -04:00
Rob Rix	4038d4b1a3	Test that alternation distributes through committed choices and matches repeated values.	2017-07-26 18:41:24 -04:00
Rob Rix	2888a0d7f5	Test that committed choices of repetitions are nullable.	2017-07-26 18:40:19 -04:00
Rob Rix	786e6f6e60	Make sure that we match both when alternating repetitions.	2017-07-26 17:43:39 -04:00
Rob Rix	5886098f65	Tighten up the assignment into the IntMap.	2017-07-26 16:19:25 -04:00
Rob Rix	7cbb8ff498	Rename the parameters.	2017-07-26 12:47:10 -04:00
Rob Rix	682bb5540d	Reindent the choices case.	2017-07-26 12:45:23 -04:00
Rob Rix	27f6d2ed25	Test that alternation distributes through children rules.	2017-07-26 12:14:12 -04:00
Rob Rix	96ef8d00bc	Distribute alternation through children rules.	2017-07-26 12:10:07 -04:00
Rob Rix	898e119af9	Test that alternations of repetitions succeed.	2017-07-26 12:02:18 -04:00
Rob Rix	3cbedc59a2	Distribute alternation through overlapping choices.	2017-07-26 11:11:44 -04:00
Rob Rix	5c0d27c1a2	Test that overlapping choices match the right branch. ... This currently fails due to the left-biased nature of how we merge committed choices.	2017-07-26 11:11:15 -04:00
Rob Rix	6e1be163b3	Test that overlapping choices match the left branch.	2017-07-26 11:09:52 -04:00
Rob Rix	2d264d4d44	Explicitly use the union operator.	2017-07-26 11:02:29 -04:00
Timothy Clem	a09be783ae	Merge pull request #1246 from github/python-assignment-fixes ... Python assignment fixes	2017-07-24 10:57:57 -07:00
Timothy Clem	26f9b77e8e	Merge branch 'master' into python-assignment-fixes	2017-07-24 10:45:05 -07:00
Timothy Clem	fbad9eb01b	Alphabetize alternates	2017-07-24 10:44:50 -07:00
Rob Rix	c7bdff56c1	Merge pull request #1249 from github/simpler-monolithic-syntax ... Simpler monolithic syntax	2017-07-24 13:26:20 -04:00
Rob Rix	62af1aef30	🔥 an obsolete documentation comment.	2017-07-24 13:20:57 -04:00
Rob Rix	2d606aa934	Merge branch 'master' into simpler-monolithic-syntax	2017-07-24 13:20:14 -04:00
Rob Rix	c2c2a61c66	Merge pull request #1245 from github/serialize-concurrent-logging ... Serialize concurrent logging	2017-07-24 13:19:23 -04:00
Rob Rix	83e99044f5	Use freer-cofreer as a submodule.	2017-07-24 12:54:23 -04:00
Rob Rix	20cdc2d480	Merge branch 'master' into serialize-concurrent-logging	2017-07-24 12:45:48 -04:00
Rob Rix	ec8b23cfbf	Merge pull request #1247 from github/run-assignment-worker-wrapper ... runAssignment worker/wrapper refactoring	2017-07-24 12:44:38 -04:00