29857 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Thomson	67ed31e65f	Remove unused syntax Listable instances. ... Orphan instances don't come for free: they slow down compilation both directly and indirectly (in that modules that use orphans pay extra costs for searching the instance space, according to SPJ).	2019-09-24 17:15:41 -04:00
Rob Rix	4a5ab1107a	Note a FIXME.	2019-09-24 17:09:01 -04:00
Rob Rix	e05a98cc2d	📝 gfoldMap1.	2019-09-24 17:07:16 -04:00
Patrick Thomson	681fe6b816	Merge branch 'master' into fix-hacky-test-slurping	2019-09-24 17:07:05 -04:00
Patrick Thomson	5fe8546298	Merge branch 'master' into build-sha-as-config-version	2019-09-24 17:06:46 -04:00
Rob Rix	ea2d2ca324	Rename the import of Data.Text.	2019-09-24 17:04:53 -04:00
Rob Rix	661b414df4	Take in Source, not Text.	2019-09-24 17:04:22 -04:00
Patrick Thomson	9a6185e095	Make readBlobsFromDir use a typed path.	2019-09-24 17:03:45 -04:00
Rob Rix	6baa33d0d6	Spacing.	2019-09-24 17:03:23 -04:00
Rob Rix	e5ecd7c849	Move the definition of Term up.	2019-09-24 17:02:01 -04:00
Patrick Thomson	42da571531	Merge branch 'master' into remove-dead-deps	2019-09-24 17:00:20 -04:00
Rob Rix	a6010a1436	Recur through indirect calls.	2019-09-24 16:59:53 -04:00
Patrick Thomson	71e47b7677	Merge pull request #275 from github/make-parse-examples-tasty ... Rewrite parse-examples target to use tasty.	2019-09-24 16:58:21 -04:00
Rob Rix	03635d00a2	Rename GFold1 to GFoldable1.	2019-09-24 16:47:06 -04:00
Rob Rix	09f294a70d	Rename gfold1 to gfoldMap1.	2019-09-24 16:46:30 -04:00
Rob Rix	60c3e359de	Rename ToTagInstance to ToTagsInstance.	2019-09-24 16:42:58 -04:00
Rob Rix	f791316003	Rename ToTagBy to ToTagsBy.	2019-09-24 16:42:40 -04:00
Rob Rix	80ccf3c985	Replace GToTag with GFold1 ToTags.	2019-09-24 16:35:23 -04:00
Rob Rix	f25af24099	Define a class abstracting the job of folding over syntax.	2019-09-24 16:33:31 -04:00
Patrick Thomson	bec69d89fc	Remove outdated dependencies. ... Semantic used to have web-server related things in it. This is no longer the case: it's a CLI app through and through. As such, we don't need these dependencies.	2019-09-24 16:30:23 -04:00
Timothy Clem	46fa12303b	Include real build sha in production logs	2019-09-24 13:23:37 -07:00
Rob Rix	dac58cfca4	Sequence the operations with >>.	2019-09-24 16:21:17 -04:00
Rob Rix	585da5e91a	Alignment.	2019-09-24 16:18:53 -04:00
Rob Rix	c6a4f7d617	🔥 redundant language extensions.	2019-09-24 16:17:56 -04:00
Rob Rix	12be927e84	Rename ToTag to ToTags.	2019-09-24 16:16:30 -04:00
Rob Rix	6be281d36a	Move all the Python-specific stuff into its own module.	2019-09-24 16:15:41 -04:00
Patrick Thomson	401b17f7d6	Merge branch 'make-parse-examples-tasty' of https://github.com/github/semantic into make-parse-examples-tasty	2019-09-24 16:14:02 -04:00
Rob Rix	e91504eb36	Rename tag to tags.	2019-09-24 16:10:18 -04:00
Rob Rix	c6189128b6	Return unit explicitly.	2019-09-24 16:09:31 -04:00
Rob Rix	7108915e21	🔥 a redundant where clause.	2019-09-24 16:09:18 -04:00
Patrick Thomson	875c302670	Build these concurrently.	2019-09-24 16:07:23 -04:00
Rob Rix	2bfb9c3ef8	Move yield up.	2019-09-24 16:02:31 -04:00
Rob Rix	e8c1348d36	Export yield.	2019-09-24 16:01:50 -04:00
Rob Rix	0ca230c1d6	Define a type synonym for Tags.	2019-09-24 16:01:38 -04:00
Rob Rix	aa350b9db6	Stub in a module for Python tagging.	2019-09-24 14:14:12 -04:00
Rob Rix	ad43b0c1a2	🔥 AST.Element for now.	2019-09-24 14:11:38 -04:00
Rob Rix	1aa4e9a87f	Move Element into AST.Element.	2019-09-24 14:11:03 -04:00
Rob Rix	6e7b373214	🔥 a redundant language extension.	2019-09-24 14:10:27 -04:00
Rob Rix	ee5d1b0a3f	Stub in a file for Element.	2019-09-24 14:06:06 -04:00
Rob Rix	33109267bc	Merge branch 'master' into make-parse-examples-tasty	2019-09-24 13:49:33 -04:00
Rob Rix	7292f85cf8	Merge branch 'master' into semantic-tags	2019-09-24 12:37:00 -04:00
Rob Rix	25b3dcc738	Export Element.	2019-09-24 12:31:33 -04:00
Rob Rix	5d7f3552ab	Define an instance of Element' to give a custom type error when a member isn’t found.	2019-09-24 12:23:50 -04:00
Rob Rix	986349d6d4	Define a type family to show a sum.	2019-09-24 12:23:09 -04:00
Rob Rix	16fa52194d	Abstract projection out into a helper indexed by occurrence.	2019-09-24 12:22:18 -04:00
Rob Rix	e05860cc81	Define a type family computing occurrence within a nested sum.	2019-09-24 12:22:01 -04:00
Rob Rix	c45b96f577	Define a type family computing boolean or.	2019-09-24 12:19:47 -04:00
Patrick Thomson	f44228a5f1	Merge branch 'master' into fix-hacky-test-slurping	2019-09-24 11:47:57 -04:00
Rob Rix	f613113dda	Revert "Define a class for projecting out the members of a sum." ... This reverts commit b7a93aed3d.	2019-09-24 11:23:13 -04:00
Rob Rix	2572900858	Revert "Define a GSum instance for M1." ... This reverts commit 30dad2da72.	2019-09-24 11:23:10 -04:00