17786 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c7fbf21802	Remove the t parameter to Eval.	2017-11-28 15:42:15 -05:00
Timothy Clem	56e5b206c4	Eval doesn't need to be parameterized by l	2017-11-28 11:56:46 -08:00
Timothy Clem	d946c876ae	Eval type class doesn't need to know about Term	2017-11-28 11:48:08 -08:00
Timothy Clem	0d391d8e39	Update Eval instance for Empty	2017-11-28 11:15:14 -08:00
Timothy Clem	97e5581436	Update Eval instance for Program	2017-11-28 11:15:03 -08:00
Timothy Clem	00c48f3270	Updated Eval instance for List	2017-11-28 11:14:29 -08:00
Timothy Clem	e65686463a	Update Context eval instance to use yield	2017-11-28 11:13:34 -08:00
Timothy Clem	b821c4009c	Assignment eval now uses continutation, does envLookup	2017-11-28 11:13:05 -08:00
Timothy Clem	9f4eed9aef	Define freeVariables1 helper	2017-11-28 11:10:30 -08:00
Rick Winfrey	5044317b2c	Update slice expressions tests	2017-11-28 11:10:13 -08:00
Timothy Clem	361aa18578	Change context order for easier type application	2017-11-28 11:10:10 -08:00
Rick Winfrey	2e72a56ccf	Update sliceExpression assignment	2017-11-28 11:09:57 -08:00
Timothy Clem	1a7f29c26b	Whitespace	2017-11-28 11:09:55 -08:00
Timothy Clem	d9c4c736d1	Use yield continutation in our syntaxes	2017-11-28 11:09:31 -08:00
Timothy Clem	953e86fc6e	Fix up interpreters to eval with continuation	2017-11-28 11:08:05 -08:00
Timothy Clem	7af7c7aab9	Give eval a continutation	2017-11-28 11:06:46 -08:00
Rick Winfrey	f93a0389ce	Merge branch 'master' into go-assignment	2017-11-28 09:21:10 -08:00
Rob Rix	f1c4b58797	Merge branch 'musical-modules' into 🔥-monolithic-syntax	2017-11-28 11:59:38 -05:00
Rob Rix	cecac41db5	Merge branch 'master' into 🔥-monolithic-syntax	2017-11-28 10:39:26 -05:00
Rob Rix	1c8c62c26d	Merge branch 'master' into musical-modules	2017-11-28 10:35:38 -05:00
Rob Rix	b6c3147706	Merge pull request #1445 from github/existential-syntax-without-the-fire ... Existential syntax (without the 🔥)	2017-11-28 10:34:52 -05:00
Rob Rix	4c974c31a3	Move syntaxDeclarationAlgebra & helpers down to match original source.	2017-11-28 09:58:55 -05:00
Rob Rix	41020b7eae	Extract the Declaration algebras into a new module.	2017-11-28 09:17:41 -05:00
Rick Winfrey	852d3464de	Add TODOs	2017-11-27 18:01:17 -08:00
Rick Winfrey	d241922d32	Update tests	2017-11-27 18:01:07 -08:00
Rick Winfrey	c9d8bb62c5	🔥 space	2017-11-27 17:37:00 -08:00
Rick Winfrey	9329840985	Refactor sliceExpression assignment	2017-11-27 17:25:28 -08:00
Rick Winfrey	268bdb2e1e	Refactor fieldDeclaration assignment	2017-11-27 17:25:17 -08:00
Rick Winfrey	a25fa79627	Refactor channelType assignment	2017-11-27 17:25:03 -08:00
Rick Winfrey	829ad6772f	Refactor identifier assignment	2017-11-27 17:24:49 -08:00
Timothy Clem	dc1b7ae388	Implement assignment evaluation	2017-11-27 14:44:03 -08:00
Timothy Clem	2e5a4c2a9b	Linter doesn't like this	2017-11-27 14:43:45 -08:00
Timothy Clem	c3f10a1144	No need for MonoLocalBinds	2017-11-27 14:43:37 -08:00
Timothy Clem	32be8f48fd	Better Eval instances for []	2017-11-27 14:43:25 -08:00
Timothy Clem	66027a688e	No need for MonoLocalBinds here	2017-11-27 14:43:03 -08:00
Timothy Clem	7afe9660f4	FreeVariables1 instances	2017-11-27 14:42:51 -08:00
Timothy Clem	8ce14ba44d	Eval program accumulates, returns last value	2017-11-27 14:42:08 -08:00
Timothy Clem	11ca296fc0	Add FreeVariables1 instance for []	2017-11-27 14:41:13 -08:00
Timothy Clem	73990f6c0b	Fix up FreeVariables1 instances	2017-11-27 14:40:59 -08:00
Timothy Clem	15c90008c5	Eval instance for Ints	2017-11-27 12:48:49 -08:00
Timothy Clem	ca2a9511db	Comment eval instances	2017-11-27 12:48:06 -08:00
Rob Rix	296569da6a	Clean up the LANGUAGE pragma for Analysis.Decorator.	2017-11-27 14:54:01 -05:00
Rob Rix	8454467b61	Move the cyclomatic complexity analysis into its own module.	2017-11-27 14:52:27 -05:00
Rob Rix	ae985ef4e5	Factor ConstructorName into its own module.	2017-11-27 14:45:13 -05:00
Rob Rix	a844fec2bd	Move the algebras into their own module.	2017-11-27 14:36:20 -05:00
Rob Rix	2102ab41cf	Rename Decorating to Analysis.	2017-11-27 14:32:13 -05:00
Rob Rix	a6cdcc2c55	Add section headers to the .cabal file.	2017-11-27 14:28:28 -05:00
Rob Rix	87d533cc2b	Rename Language to Data.Language.	2017-11-27 14:17:48 -05:00
Rob Rix	46970445ff	🔥 some unused machinery in the Language module.	2017-11-27 14:10:33 -05:00
Rob Rix	bcb64b3187	Rename the Integration spec.	2017-11-27 14:06:12 -05:00