22627 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	e190a66b02	import semantic-types in semantic.proto	2018-05-29 16:30:56 -04:00
joshvera	634af7e886	++proto3-suite	2018-05-29 15:13:57 -04:00
joshvera	79b1c8e1a6	Add a Named instance for Term	2018-05-29 15:12:25 -04:00
joshvera	e6ad8fc439	Add Message1 instances for JSON types	2018-05-29 15:12:16 -04:00
joshvera	e7f017b5b5	Remove old definitions of Identity and Product	2018-05-29 14:28:15 -04:00
joshvera	dec43883ab	Update Data.Term instance for dotProto	2018-05-29 14:27:29 -04:00
Rob Rix	68504ebaf3	Merge branch 'master' into 🔥-galign	2018-05-29 14:25:01 -04:00
Rob Rix	373a89b401	Merge pull request #1896 from github/recursive-type-families-are-not-our-friends ... Recursive type families are not our friends	2018-05-29 14:24:41 -04:00
Rob Rix	8a147f1d56	Weaken the constraints on beforeTerm/afterTerm to Foldable.	2018-05-29 12:52:00 -04:00
Rob Rix	8fc1ccaa19	Merge branch 'recursive-type-families-are-not-our-friends' into 🔥-galign	2018-05-29 12:49:29 -04:00
Rob Rix	dda2f9897b	Merge branch 'master' into 🔥-galign	2018-05-29 12:48:34 -04:00
Rob Rix	8cd97726f2	Merge branch 'master' into recursive-type-families-are-not-our-friends	2018-05-29 12:36:32 -04:00
Rob Rix	ed7060219d	Merge pull request #1893 from github/closures-without-higher-order-effects ... Closures without higher order effects	2018-05-29 12:35:51 -04:00
Rob Rix	81032f34ec	Whoops.	2018-05-29 12:26:36 -04:00
Rob Rix	44da174cf9	🔥 a couple more uses of Members.	2018-05-29 12:14:46 -04:00
Rob Rix	d869fa4ec8	🔥 some redundant constraints.	2018-05-29 12:14:19 -04:00
Rob Rix	f3649f30de	Merge branch 'master' into recursive-type-families-are-not-our-friends	2018-05-29 12:12:41 -04:00
Rob Rix	09a5fdd059	Bump effects to 🔥 Members.	2018-05-29 12:12:34 -04:00
Rob Rix	f5572e41ca	Use Member instead of Members everywhere!	2018-05-29 12:09:09 -04:00
Rob Rix	fcdef76073	Merge branch 'master' into closures-without-higher-order-effects	2018-05-29 11:35:15 -04:00
Timothy Clem	0c401ddf10	Merge pull request #1889 from github/docker-build-image ... Maintain our own Haskell stack build docker image	2018-05-29 08:32:05 -07:00
Timothy Clem	d5a35836be	Merge branch 'master' into docker-build-image	2018-05-29 08:11:31 -07:00
Patrick Thomson	ff6b99d56e	Merge pull request #1891 from github/parse-in-eff ... Parse in `Eff` and log tree-sitter activity in telemetry.	2018-05-29 10:41:23 -04:00
Rob Rix	8b24f01f49	Use Member instead of Members in EvaluatableConstraints.	2018-05-29 09:16:03 -04:00
Rob Rix	54150552b3	Merge branch 'master' into 🔥-galign	2018-05-29 08:53:37 -04:00
Rob Rix	1ed83f9705	Merge branch 'master' into parse-in-eff	2018-05-28 16:45:22 -04:00
Rob Rix	10897b4394	Use a counter to determine identity of closure bodies.	2018-05-28 16:24:04 -04:00
Rob Rix	40226332ab	Placate hlint.	2018-05-28 16:16:55 -04:00
Rob Rix	2eda13fc75	🔥	2018-05-28 16:14:51 -04:00
Rob Rix	6b780d297d	Revert "These are probably integers." ... This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.	2018-05-28 16:06:25 -04:00
Rob Rix	0f3c7df8d1	These are probably integers.	2018-05-28 16:05:03 -04:00
Rob Rix	8dce61ab3f	Whoops.	2018-05-28 16:04:21 -04:00
Rob Rix	bc15f318ad	This had been down one.	2018-05-28 15:56:24 -04:00
Rob Rix	e7d07d54c1	Merge branch 'master' into closures-without-higher-order-effects	2018-05-28 15:53:42 -04:00
Rob Rix	e516836d1c	Move array back up.	2018-05-28 15:53:35 -04:00
Rob Rix	ddc1cc1c77	Restore builtins to their original simplicity.	2018-05-28 15:50:58 -04:00
Rob Rix	fe05553440	🔥 the Primitive machinery & redefine Builtin as plain old data.	2018-05-28 15:49:20 -04:00
Rob Rix	038d3d07eb	Test the return values	2018-05-28 15:44:48 -04:00
Rob Rix	7b02e3e64f	Correct the EnvironmentError application.	2018-05-28 15:30:19 -04:00
Rob Rix	0354dc5330	Resume EnvironmentError at location, not value.	2018-05-28 15:29:24 -04:00
Rob Rix	d0e8b8eae3	Define a helper to convert Holes to Maybes.	2018-05-28 15:27:02 -04:00
Rob Rix	c92e6cf005	Define an AbstractHole instance for Hole.	2018-05-28 15:19:01 -04:00
Rob Rix	9feb1fe4a5	Define an Addressable instance for Hole.	2018-05-28 15:17:55 -04:00
Rob Rix	f9d7eb4677	Generalize relocate.	2018-05-28 15:16:36 -04:00
Rob Rix	4d2b235fc6	Stub in a datatype for holes.	2018-05-28 15:12:40 -04:00
Rob Rix	b26c9babbc	Move AbstractHole into its own module.	2018-05-28 15:09:49 -04:00
Rob Rix	484b956ce7	Add a module for holes.	2018-05-28 15:09:10 -04:00
Rob Rix	d08802f688	Spacing.	2018-05-28 14:53:20 -04:00
Rob Rix	f0c220906a	Partially apply Eff in the tests.	2018-05-28 14:48:00 -04:00
Rob Rix	cc02cfd8eb	AbstractIntro is pure.	2018-05-28 14:47:42 -04:00