25022 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rick Winfrey	27c2ebd519	Merge branch 'master' into update-haskell-tree-sitter	2018-08-13 13:01:07 -07:00
Rick Winfrey	9e87ea9fc5	Update python fixtures ... I think this got lost when merging in master	2018-08-13 12:48:47 -07:00
Rob Rix	e0c100f8e9	Merge pull request #2130 from github/parameterize-evaluate-with-deref-and-allocator-handlers ... Specialize Allocator/Deref handlers for the address types	2018-08-13 15:16:55 -04:00
Rick Winfrey	62fb9635e0	Merge branch 'master' into update-haskell-tree-sitter	2018-08-13 11:36:10 -07:00
Rick Winfrey	f0daabaf9a	Update go fixtures	2018-08-13 11:29:01 -07:00
Rick Winfrey	13dbf02cb6	Reduce layering of terms for ParameterList	2018-08-13 11:26:09 -07:00
Rob Rix	5665c1ca50	Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers	2018-08-13 13:34:40 -04:00
Rob Rix	08a29fdf92	Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers	2018-08-13 13:33:36 -04:00
Timothy Clem	cdbea3932b	Merge pull request #2131 from github/update-protos ... Update protos from recent (grammar?) changes	2018-08-13 09:55:05 -07:00
Timothy Clem	54e8be811e	Filling missing Ruby syntaxes	2018-08-13 09:13:16 -07:00
Timothy Clem	937241320c	Variable is no longer part of Python syntax	2018-08-13 08:12:02 -07:00
Timothy Clem	eabb821eff	Auto-merged master into update-protos on deployment	2018-08-13 07:59:05 -07:00
Ayman Nadeem	5b12d3c43c	Merge pull request #2124 from github/eval-instances ... add evaluatable instances for sequence expression, void and delete	2018-08-13 10:58:58 -04:00
Timothy Clem	23313f83a7	Update protos from recent changes	2018-08-13 07:55:04 -07:00
Ayman Nadeem	d107446abf	re-generate ruby example	2018-08-13 10:43:44 -04:00
Rob Rix	f0c5c8222b	Stop the doctests from freaking out.	2018-08-13 10:30:58 -04:00
Ayman Nadeem	b54f175ebf	update examples	2018-08-13 10:20:13 -04:00
Rob Rix	85adaafef5	Fix the doctests.	2018-08-13 10:20:13 -04:00
Rob Rix	68157b1fa0	Apply the correct value type.	2018-08-13 10:06:12 -04:00
Rob Rix	99e377aec7	Fix a missed reference to Deref in the specs.	2018-08-13 09:58:18 -04:00
Rob Rix	d825ceda56	🔥 the address parameter to Deref.	2018-08-13 09:57:18 -04:00
Rob Rix	9c9fa333d6	🔥 Allocatable & Derefable.	2018-08-13 09:46:46 -04:00
Rob Rix	c5234c0d62	🔥 the instances of Allocatable and Derefable.	2018-08-13 09:44:40 -04:00
Rob Rix	51036dcada	🔥 the unspecialized handlers for Allocator and Deref.	2018-08-13 09:43:52 -04:00
Rob Rix	a438930c91	Use the specialized handlers for Allocator and Precise.	2018-08-13 09:43:37 -04:00
Rob Rix	8cd4d8808f	Move Hole into its own module.	2018-08-13 09:37:39 -04:00
Rob Rix	16964350b0	Stub in a module for the Hole address type.	2018-08-13 09:35:37 -04:00
Rob Rix	669834ad88	Define an extracted, Hole-specific handler for Deref.	2018-08-13 09:33:47 -04:00
Rob Rix	e6c1801dc3	Define an extracted, Hole-specific handler for Allocator.	2018-08-13 09:31:56 -04:00
Rob Rix	339eb4df87	We aren’t using LambdaCase here any more.	2018-08-13 09:29:37 -04:00
Rob Rix	fe1b62bb96	Extract the Monovariant-specific handler for Deref.	2018-08-13 09:29:13 -04:00
Rob Rix	15c9e285b8	Extract the Monovariant-specific handler for Allocator.	2018-08-13 09:28:05 -04:00
Rob Rix	de3493c1cc	Extract the Located-specific handler for Deref.	2018-08-13 09:26:27 -04:00
Rob Rix	9f2e022db2	Extract the Located-specific handler for Allocator.	2018-08-13 09:23:23 -04:00
Rob Rix	a2e88845f3	Define a Located-specific handler for Deref.	2018-08-13 09:21:30 -04:00
Rob Rix	137aabc77a	Extract the Precise-specific handler for Deref.	2018-08-13 09:17:47 -04:00
Rob Rix	3902cbfd2d	Extract the Precise-specific handler for Allocator.	2018-08-13 09:16:14 -04:00
Rob Rix	6506aeef36	Define a Located-specific handler for Allocator.	2018-08-13 09:15:31 -04:00
Rob Rix	ee345d499b	Define Monovariant-specific handlers for Allocator & Deref.	2018-08-13 09:14:36 -04:00
Rob Rix	b014daa5dd	Define Precise-specific handlers for Allocator & Deref.	2018-08-13 09:12:57 -04:00
Rick Winfrey	3b5ab7eae6	Newtype	2018-08-10 14:41:52 -07:00
Ayman Nadeem	054f5b4b36	fix heapDelete type signature	2018-08-10 17:41:46 -04:00
Rick Winfrey	686e1e6d09	Update fixtures	2018-08-10 14:33:39 -07:00
Rick Winfrey	7057ae128f	Lints	2018-08-10 14:28:46 -07:00
Rick Winfrey	78400992b2	Merge branch 'update-haskell-tree-sitter' of https://github.com/github/semantic into update-haskell-tree-sitter	2018-08-10 14:15:38 -07:00
Rick Winfrey	fce34cd17d	Update abstractClass	2018-08-10 14:10:14 -07:00
Rick Winfrey	8f0b275fab	Update lookupType	2018-08-10 14:08:00 -07:00
Rick Winfrey	9bba993b4d	Update indexTypeQuery to now take typeIdentifier	2018-08-10 14:02:19 -07:00
Rick Winfrey	64f052eea8	Readability	2018-08-10 14:02:06 -07:00
Rob Rix	9def42948e	Pull gc back out of the Allocator effect.	2018-08-10 17:00:57 -04:00