110 Commits

Author	SHA1	Message	Date
Patrick Thomson	186c987aa2	Regenerate everything.	2020-09-16 18:25:24 -04:00
Rick Winfrey	eff8233410	Bump semantic-source versions	2020-08-26 16:51:29 -07:00
Rick Winfrey	c6be7cbd32	Merge branch 'master' into eight-dot-ten-patrickt	2020-08-25 15:28:35 -07:00
Patrick Thomson	a064c535cc	Re-enable semantic parse --json output. ... When we switched away from alacarte syntax, we lost the `--json` option for AST output. However, the majority of the needed code was already implemented by @aymannadeem, so all we had to do was have the syntax types opt into the `MarshalJSON` API, and to define the boilerplate needed to plug it into the `Serialize` interface. Fixes #471.	2020-07-24 11:38:55 -04:00
Rob Rix	09d4519395	Prune lots more dependencies.	2020-07-16 14:18:51 -04:00
Rob Rix	e5ba3a7831	🔥 many redundant dependencies.	2020-07-16 09:34:59 -04:00
Rob Rix	4dd4b5a54b	Fuss with all the warnings settings.	2020-07-14 14:29:22 -04:00
Rob Rix	2ea6a6c4ea	Tweak everything’s bounds.	2020-07-14 14:25:24 -04:00
Rob Rix	edf219f753	Bump the fused-effects constraints on all the remaining packages to 1.1.	2020-07-13 11:54:32 -04:00
Patrick Thomson	d6d978940b	Emacs misfire.	2020-07-08 17:03:59 -04:00
Patrick Thomson	1d1e1699c2	Finish porting to direct Hackage downloads.	2020-07-08 16:58:30 -04:00
Patrick Thomson	17bc8abd41	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-07-08 13:37:26 -04:00
Patrick Thomson	318124a9f1	Fix JSON stuff.	2020-07-01 20:59:33 -04:00
Timothy Clem	67bcc3ca48	Use state to cache line and counting algorithms	2020-07-01 16:39:56 -07:00
Patrick Thomson	af7b4b578a	Last shims.	2020-07-01 15:16:57 -04:00
Patrick Thomson	feb0e46de8	No need to walk directories here.	2020-07-01 13:31:59 -04:00
Patrick Thomson	6d390195e3	Fix bad hacks associated with directory paths.	2020-07-01 13:00:15 -04:00
Patrick Thomson	20ac0523e3	Enable all the other tests.	2020-06-30 23:59:18 -04:00
Patrick Thomson	dbce051436	simplifying target layouts.	2020-06-27 12:47:04 -04:00
Patrick Thomson	9116c58a56	Stop vendoring node-types.json directly and download them w/ Bazel. ... Also enables semantic-rust.	2020-06-26 13:07:24 -04:00
Timothy Clem	e591457a4c	Rework tagging to compute LSP offsets ... Also updates how we generate the line of source code for display	2020-06-25 14:38:33 -07:00
Patrick Thomson	96f6f39cbf	The node-types paths are no longer hardcoded to my system 🎉	2020-06-25 10:14:54 -04:00
Patrick Thomson	6c3a08c735	save a ton of code	2020-06-25 08:56:09 -04:00
Patrick Thomson	cac967e87f	Create a macro to define language packages quickly.	2020-06-24 22:16:58 -04:00
Patrick Thomson	3aecbcc98a	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-23 11:03:39 -04:00
Patrick Thomson	801ef3bfc3	use the same GHC warnings everywhere	2020-06-23 09:45:10 -04:00
Patrick Thomson	16ae3ffb9f	add dependencies on node-types files	2020-06-10 12:08:45 -04:00
Patrick Thomson	ed07e1c319	getting closer	2020-06-09 14:56:19 -04:00
Patrick Thomson	b208bb91ad	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-09 14:35:24 -04:00
Patrick Thomson	7dabd34d82	almost working	2020-06-09 14:31:29 -04:00
Patrick Thomson	b51a27118f	add more of the bazel subprojects	2020-06-09 13:52:39 -04:00
Ayman Nadeem	6107f56012	Merge branch 'master' into codegen-cleanup	2020-06-08 13:42:45 -04:00
Timothy Clem	2e44d43452	Generate Def/Ref at moment of tagging	2020-06-04 10:39:15 -07:00
Timothy Clem	38a7158b20	Move the rest of the languages over to generated datatypes	2020-06-04 09:53:17 -07:00
Ayman Nadeem	3c02a42431	hush non-exhaustive patterns warnings for TSX tags	2020-06-01 17:43:21 -04:00
Ayman Nadeem	d2dec69de4	fix TSX test	2020-05-21 14:35:12 -04:00
Ayman Nadeem	825266b8ee	don't warn on incomplete patterns	2020-05-18 18:29:56 -04:00
Ayman Nadeem	8474f3061d	Add error to all TSX instances	2020-05-11 09:57:36 -04:00
Ayman Nadeem	7700575a58	revert Language.LANGUAGE files to original state	2020-05-07 11:42:12 -04:00
Ayman Nadeem	2f6f950edf	Merge branch 'master' into codegen-cleanup	2020-04-30 13:14:10 -04:00
Ayman Nadeem	effeebaee1	parameterize TSX program with Err	2020-04-29 13:56:26 -04:00
Ayman Nadeem	cdcafd612e	add QuantifiedConstraints extension to AST modules for each supported lang	2020-04-28 13:50:24 -04:00
Timothy Clem	a1edfa5753	Whitespace fixes	2020-04-27 13:19:50 -07:00
Timothy Clem	b3d7de8b51	Properly separate source line Loc from identifier Loc	2020-04-27 09:14:24 -07:00
Ayman Nadeem	57ca08eac5	add type operators extension	2020-04-22 14:31:27 -04:00
Ayman Nadeem	054a1d17f6	add StandaloneDeriving to enable constraints in instances	2020-04-22 14:28:29 -04:00
Ayman Nadeem	f06ae2dbd6	new kinds need to be invoked with KindSignatures	2020-04-22 13:55:12 -04:00
Ayman Nadeem	d70db96038	Merge branch 'master' into codegen-cleanup	2020-04-22 10:16:05 -04:00
Ayman Nadeem	7834a7b1c0	update main-is for test suites in language cabal files	2020-04-20 11:53:47 -04:00
Ayman Nadeem	be2fad79cf	rename TSX Test to PreciseTest	2020-04-20 11:46:36 -04:00