29559 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	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
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
Rob Rix	578223a17f	Revert "Define a GSum instance for sums." ... This reverts commit 5231b4f282.	2019-09-24 11:23:08 -04:00
Rob Rix	160f61355d	Revert "Define a GSum instance for Rec1." ... This reverts commit 377fe62b9a.	2019-09-24 11:23:04 -04:00
Rob Rix	482e5d705b	Revert "Use GSum to project function identifiers out." ... This reverts commit 2420a52d68.	2019-09-24 11:23:01 -04:00
Patrick Thomson	499c92c17d	Merge branch 'remove-regular-compile'	2019-09-24 10:59:19 -04:00
Patrick Thomson	a96a0e105a	Revert "Remove special case from Files.readBlobs." ... This reverts commit 6fe879d908.	2019-09-24 01:18:13 -04:00
Patrick Thomson	6fe879d908	Remove special case from Files.readBlobs.	2019-09-24 01:17:11 -04:00
Patrick Thomson	6dcbe96a0c	Fix warnings in Language.Python.Core.	2019-09-23 19:59:23 -04:00
Patrick Thomson	1990e2379b	Merge remote-tracking branch 'origin/master' into remove-regular-compile	2019-09-23 19:56:08 -04:00
Patrick Thomson	aa6053ec66	Merge pull request #271 from github/leaps-and-bounds ... [semantic-python] Correct translation of assignments and function definitions	2019-09-23 19:54:37 -04:00
Patrick Thomson	a2e1ced785	Reinsert a FIXME.	2019-09-23 19:42:17 -04:00
Rob Rix	2420a52d68	Use GSum to project function identifiers out.	2019-09-23 18:01:17 -04:00
Rob Rix	377fe62b9a	Define a GSum instance for Rec1.	2019-09-23 18:01:06 -04:00
Rob Rix	5231b4f282	Define a GSum instance for sums.	2019-09-23 18:01:00 -04:00
Rob Rix	30dad2da72	Define a GSum instance for M1.	2019-09-23 18:00:46 -04:00
Rob Rix	b7a93aed3d	Define a class for projecting out the members of a sum.	2019-09-23 18:00:36 -04:00
Rob Rix	b5cffe8ebe	Tags always have lines.	2019-09-23 17:52:22 -04:00
Rob Rix	e816d60260	Flesh out the ToTagBy instance for calls.	2019-09-23 17:51:43 -04:00
Rob Rix	61915b8152	Flesh out the ToTagBy instance for Py.ClassDefinition.	2019-09-23 17:50:20 -04:00
Rob Rix	ea8d5a8817	Define ToTag at * -> *.	2019-09-23 17:47:10 -04:00
Rob Rix	ca854d1b28	Define ToTagBy at * -> *.	2019-09-23 17:45:45 -04:00
Rob Rix	2ba64b1e08	🔥 the ToTagInstance for lists.	2019-09-23 17:40:37 -04:00
Rob Rix	7922af23fe	🔥 the ToTagBy instance for Text.	2019-09-23 17:39:58 -04:00
Rob Rix	6e0a69603e	🔥 the ToTagBy instance for Loc.	2019-09-23 17:39:33 -04:00
Rob Rix	26d064d451	Don’t call ToTag for constant fields.	2019-09-23 17:38:53 -04:00
Rob Rix	ea917d2d0d	🔥 a redundant language extension.	2019-09-23 17:37:14 -04:00
Rob Rix	4993275b5c	Stub in a custom ToTagBy instance for calls.	2019-09-23 17:36:55 -04:00
Rob Rix	683ab79c06	Stub in a custom ToTagBy instance for class definitions.	2019-09-23 17:36:45 -04:00
Rob Rix	c4daf7bcea	Use Generic1 representations for ToTagBy 'Generic.	2019-09-23 17:14:49 -04:00
Rob Rix	422e6f8836	Use :+: in place of Either.	2019-09-23 16:48:50 -04:00
Rob Rix	f9d9686372	Define an Element instance for matching on the right.	2019-09-23 15:02:24 -04:00
Rob Rix	4199011b42	Define an Element instance for matching on the left.	2019-09-23 15:02:17 -04:00
Rob Rix	fe76c3dca6	Define an Element instance for reassociating left-nested trees.	2019-09-23 15:01:38 -04:00
Rob Rix	6d37792707	Define an Element instance for matching leaves.	2019-09-23 15:01:27 -04:00
Rob Rix	69f5d8b1a3	Define a class to project elements out of :+:-trees.	2019-09-23 15:01:13 -04:00
Rob Rix	5dccc3522b	🔥 a redundant language extension.	2019-09-23 14:53:07 -04:00
Rob Rix	1cd9be5cc4	Move Tag & Kind to Tags.Tag.	2019-09-23 14:52:27 -04:00
Rob Rix	97e47f95ba	Stub in a module for Tag.	2019-09-23 14:50:36 -04:00
Rob Rix	11f8f62057	🔥 the ToJSON instances for Tag & Kind.	2019-09-23 14:49:48 -04:00
Rob Rix	1098dd3667	🔥 the context.	2019-09-23 14:48:29 -04:00