17840 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	609b1a1786	🔥 a few type applications.	2017-11-30 15:38:43 -05:00
Rob Rix	a5c615e095	Specialize MonadStore to use the location for the given value type.	2017-11-30 15:35:07 -05:00
Rob Rix	57f531edf2	Move envLookupOrAlloc to Abstract.Store.	2017-11-30 14:46:26 -05:00
Rob Rix	77e2576d38	Break Abstract.Value’s dependency on Abstract.Store.	2017-11-30 14:44:21 -05:00
Rob Rix	671ddbee55	Fix the module name.	2017-11-30 14:42:38 -05:00
Rob Rix	36b00f4ab5	Derive the Foldable, Functor, Traversable, Eq1, Ord1, & Show1 instances.	2017-11-30 13:21:38 -05:00
Rob Rix	630523e2a4	Derive the Eq, Ord, & Show instances for Store &c.	2017-11-30 13:09:49 -05:00
Rob Rix	24af666487	Derive a Generic1 instance for Store.	2017-11-30 13:01:17 -05:00
Rob Rix	0d44b932de	Store is indexed by locations instead of addresses.	2017-11-30 13:00:18 -05:00
Rob Rix	03b5329bd4	Move Cell into Address.	2017-11-30 12:48:21 -05:00
Rob Rix	48f9ee5bfe	Derive the Foldable, Functor, & Traversable instances for Latest.	2017-11-30 12:20:33 -05:00
Rob Rix	6dd9e99ce4	Derive the Foldable, Functor, & Traversable instances for Address.	2017-11-30 12:20:12 -05:00
Rob Rix	4c28956c6d	Rename I to Latest.	2017-11-30 12:18:03 -05:00
Rob Rix	b08d7bd5fa	Precise cells merge by taking the new value.	2017-11-30 12:17:06 -05:00
Rob Rix	05dbdb21f5	Move I into Abstract.Address.	2017-11-30 12:15:51 -05:00
Rob Rix	256125c059	Move Precise & Monovariant into Abstract.Address.	2017-11-30 12:12:35 -05:00
Rob Rix	636109e5ef	Move Address into its own module.	2017-11-30 12:06:30 -05:00
Rob Rix	2721f03946	Derive the Eq1, Ord1, & Show1 instances for I generically.	2017-11-30 11:56:36 -05:00
Rob Rix	098e5a9706	Derive the Eq1, Ord1, & Show1 instances for Closure generically.	2017-11-30 11:51:28 -05:00
Rob Rix	10f7ed7978	Merge branch 'master' into integrate-abstract-interpretation	2017-11-30 11:30:55 -05:00
Rob Rix	4ccf265c4e	Opt the tests into using record syntax.	2017-11-30 11:12:23 -05:00
Rob Rix	d843c9a328	Rename the option.	2017-11-30 11:10:22 -05:00
Rob Rix	6f30e47589	Omit selectors by default.	2017-11-30 11:09:41 -05:00
Rob Rix	663ffab1b4	Export defaultGShow1Options.	2017-11-30 11:07:15 -05:00
Rob Rix	7f0ecbef19	Simplify how the options are applied.	2017-11-30 11:06:48 -05:00
Rob Rix	41490a38f1	Define a helper to provide options when implementing liftShowsPrec generically.	2017-11-30 11:04:07 -05:00
Rob Rix	90fde64e9f	Add options to allow disabling record syntax.	2017-11-30 11:02:05 -05:00
Rob Rix	2bbd4e7a49	Test that derived & generic showsPrec agree for infix constructors.	2017-11-30 10:47:53 -05:00
Rob Rix	6ce7ba6b2a	Rename the record test.	2017-11-30 10:45:52 -05:00
Rob Rix	517843b603	Test that generic Show1 shows record selectors.	2017-11-30 10:44:32 -05:00
Rob Rix	4b928a6c4e	Test that derived & generic showsPrec agree.	2017-11-30 10:41:26 -05:00
Rob Rix	221a88f452	Test that derived & generic equality agree.	2017-11-30 10:38:46 -05:00
Rob Rix	a76ca3fcfc	Generic Show1 respects fixity and record selectors.	2017-11-30 10:36:51 -05:00
Rob Rix	cd9e99eb59	🔥 genericLiftShowList.	2017-11-30 10:28:46 -05:00
Rob Rix	67f251e223	Combine the generic Eq1, Ord1, & Show1 implementations into a single module.	2017-11-30 10:24:48 -05:00
Rob Rix	bb2aa0ad0a	Stub in a module to hold all the generic Data.Functor.Classes implementations.	2017-11-30 10:14:21 -05:00
Rob Rix	4fe9c9ca52	Merge branch 'musical-modules' into 🔥-monolithic-syntax	2017-11-30 10:06:30 -05:00
Rob Rix	e22e1cf3bc	Merge branch 'master' into musical-modules	2017-11-30 10:00:12 -05:00
Rob Rix	633155a2e4	Merge pull request #1448 from github/bump-effects ... Fix the inadvertent rollback of effects.	2017-11-30 09:59:45 -05:00
Rob Rix	c1d96c7071	Fix the inadvertent rollback of effects.	2017-11-30 09:54:17 -05:00
Rob Rix	cbd02eab7b	Merge branch 'master' into musical-modules	2017-11-30 09:53:19 -05:00
Timothy Clem	66324caacd	No need for foldable	2017-11-29 20:54:28 -08:00
Timothy Clem	3bd401d0cc	Extract an envLookupOrAlloc function	2017-11-29 20:54:07 -08:00
Timothy Clem	f4414287cb	Type check input params/args too	2017-11-29 20:10:16 -08:00
Timothy Clem	16bdc21e4f	Produce TArr properly	2017-11-29 20:08:03 -08:00
Timothy Clem	8aadfa44a6	Unify TArr	2017-11-29 20:07:42 -08:00
Rick Winfrey	8ab0db3624	Merge pull request #1330 from github/go-assignment ... Go Assignment	2017-11-29 18:17:36 -08:00
Rick Winfrey	cd1fdf1065	🔥 specialized assignment alternations	2017-11-29 18:10:57 -08:00
Rick Winfrey	eb83043303	🔥 unnecessary arrayType	2017-11-29 18:07:25 -08:00
Rick Winfrey	15cb0d7ec4	Refactor functionDeclaration	2017-11-29 17:56:12 -08:00