29031 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	4fa9013e92	Add a test for other types and modes	2019-07-31 15:31:50 -06:00
Rob Rix	1751ad1702	Merge branch 'master' into break-hearts-not-builds	2019-07-31 14:40:44 -04:00
Rob Rix	ff9e140751	Merge pull request #212 from github/from-paths ... New options for readBlobsFromGitRepo	2019-07-31 14:40:26 -04:00
Timothy Clem	61186c946d	++0.7.0.0	2019-07-31 09:45:17 -07:00
Timothy Clem	77b6b85d49	Properly parse other objects and modes	2019-07-31 09:42:05 -07:00
Timothy Clem	3409779b23	s/OnlyPaths/IncludePaths	2019-07-31 07:37:23 -07:00
Timothy Clem	42028a818f	Allow ts-parse command to also accept these	2019-07-30 17:36:25 -07:00
Timothy Clem	2b37bc9312	New options for readBlobsFromGitRepo ... Allows specifying only the paths you want to parse in the repo	2019-07-30 17:34:35 -07:00
Rob Rix	b10912b1b4	Merge branch 'master' into break-hearts-not-builds	2019-07-29 10:55:27 -04:00
Rob Rix	8f15669a99	Merge pull request #184 from github/scope-safety ... Scope safety	2019-07-29 10:54:48 -04:00
Rob Rix	1c832f5f71	Merge branch 'master' into scope-safety	2019-07-26 10:19:13 -05:00
Rob Rix	212a37c5d5	Merge pull request #205 from github/proto-fixes ... Revert manual oneof proto edits	2019-07-26 10:18:45 -05:00
Rob Rix	b6dfdbcb2d	Merge branch 'master' into scope-safety	2019-07-26 10:14:35 -05:00
Rob Rix	b889e41b79	Merge branch 'master' into proto-fixes	2019-07-26 10:08:15 -05:00
Rob Rix	dffe323901	Merge pull request #206 from kittenking/typo-fixes ... Fix typos across semantic repository	2019-07-26 10:08:01 -05:00
Rob Rix	b05f5d21a0	Merge branch 'master' into proto-fixes	2019-07-26 10:06:24 -05:00
Kitten King	2aa6b4a12d	Fix Typos	2019-07-26 03:25:50 +00:00
Timothy Clem	540f0eb76b	Revert manual oneof proto edits	2019-07-25 11:28:55 -07:00
Rob Rix	0f34dcec45	Sequence values in the abstract domain.	2019-07-25 12:33:33 -04:00
Rob Rix	cd950fd6ec	Derive a Semigroup instance for Term Monotype a.	2019-07-25 12:33:13 -04:00
Rob Rix	7d9100f816	Derive a Semigroup instance for Concrete.	2019-07-25 12:33:00 -04:00
Rob Rix	fde3424c13	Dedent all the Analysis fields.	2019-07-25 12:32:47 -04:00
Rob Rix	e43b4e75c8	Merge branch 'master' into scope-safety	2019-07-24 06:55:03 -05:00
Rob Rix	daa018d0a9	Merge pull request #199 from github/simpler-ghci-configuration ... Simplify ghci config using :def!	2019-07-24 06:54:35 -05:00
Rob Rix	a0bf65f43b	Move Edge into Concrete.	2019-07-23 16:11:04 -04:00
Rob Rix	7c24672921	Parse whitespace following string literals.	2019-07-23 15:53:18 -04:00
Rob Rix	41a31d1873	Simplify the projection rule.	2019-07-23 15:49:22 -04:00
Rob Rix	15430badec	Alignment.	2019-07-23 15:44:02 -04:00
Rob Rix	0254bc9895	Parse more escape sequences.	2019-07-23 15:43:25 -04:00
Rob Rix	f10cbb21b3	Generate string literals.	2019-07-23 15:43:11 -04:00
Rob Rix	3d65ae97ef	Sort the atoms.	2019-07-23 15:27:03 -04:00
Rob Rix	ac3f487703	Correct the precedence of load.	2019-07-23 15:24:19 -04:00
Rob Rix	3b6741456d	Rename edge to load.	2019-07-23 15:23:45 -04:00
Rob Rix	e4470bcbcc	Generate load instructions.	2019-07-23 15:23:26 -04:00
Rob Rix	0d530dc078	Sort the recursive generators.	2019-07-23 15:22:12 -04:00
Rob Rix	4bd2129511	Lower the precedence in lambda bodies.	2019-07-23 15:20:20 -04:00
Rob Rix	8e5c2163b8	Correct the precedence of recursive bindings.	2019-07-23 15:19:59 -04:00
Rob Rix	308066fbb1	Generate recursive bindings.	2019-07-23 15:18:04 -04:00
Rob Rix	e03236d301	Generate assignments.	2019-07-23 15:15:55 -04:00
Rob Rix	068941e3e1	Correct the precedence of if/then/else and lambda.	2019-07-23 15:12:41 -04:00
Rob Rix	9ccd11ef09	ifthenelse and lambda bind looser than assignment.	2019-07-23 15:10:51 -04:00
Rob Rix	08878f1a18	assign binds looser than application.	2019-07-23 15:07:21 -04:00
Rob Rix	59af553279	Recur via expr.	2019-07-23 15:05:46 -04:00
Rob Rix	d1671a6d7c	Rename prj to projection.	2019-07-23 15:02:24 -04:00
Rob Rix	b700740174	Split out a rule for application.	2019-07-23 15:02:05 -04:00
Rob Rix	b58ddb470b	Projections are lvalues.	2019-07-23 15:01:25 -04:00
Rob Rix	76eb3e2154	Pretty-print with mandatory precedence handling.	2019-07-23 15:00:32 -04:00
Rob Rix	5b682606bc	inParens wraps a Doc, not an action.	2019-07-23 12:34:10 -04:00
Rob Rix	99668a33a1	Don’t set the precedence recursively.	2019-07-23 12:31:35 -04:00
Rob Rix	edbea6991c	Indentation.	2019-07-23 12:27:24 -04:00