18305 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	e364b6f3ae	Move constr back to last term and add TermF and Union instances for eval	2018-02-21 15:37:19 -05:00
joshvera	e498f62fbb	Add RunEffects usage back to Evaluating3.evalutate	2018-02-21 15:36:44 -05:00
joshvera	db7f5b1cb8	Add Identifier instance for Evaluatable	2018-02-21 15:35:46 -05:00
joshvera	0fa73b3d14	whitespace	2018-02-21 15:34:56 -05:00
joshvera	19b6778ac5	Add evaluateRubyFile2	2018-02-21 15:34:49 -05:00
joshvera	0b7db68714	Remove Evaluating'	2018-02-21 12:30:08 -05:00
joshvera	2eb06b7d36	Add the Evaluatable instance for []	2018-02-21 11:16:40 -05:00
joshvera	a12292bb17	Simplify evaluate to Fail, State Env', Eval, Store	2018-02-21 11:14:41 -05:00
joshvera	2606dcd205	Stub out an Eval3 effect	2018-02-20 21:38:57 -05:00
joshvera	619db3b828	Add Store2 and Evaluating3	2018-02-20 20:09:33 -05:00
joshvera	8d74b9a263	++effect	2018-02-20 19:53:42 -05:00
joshvera	a9da8eb9df	Merge remote-tracking branch 'origin/master' into different-eval-strategy	2018-02-20 18:59:06 -05:00
Timothy Clem	268e21d8aa	Use step here	2018-02-20 15:44:40 -08:00
Timothy Clem	08302cd292	EvalEnv instead of Yield and other naming updates	2018-02-20 15:44:31 -08:00
Timothy Clem	e6555418f0	Imperative eval working again, notion of global vs local env	2018-02-20 13:44:05 -08:00
Timothy Clem	0f0b42a7a7	Store environment in state so we can modify it	2018-02-16 17:02:19 -08:00
Timothy Clem	e76ffd3656	Need an instance for Empty	2018-02-16 17:01:49 -08:00
Timothy Clem	6108396f86	Some tracing	2018-02-16 17:01:12 -08:00
Timothy Clem	6cf86ee668	Try to have a bindEnv	2018-02-16 17:01:07 -08:00
Timothy Clem	874590b2cf	Eval for App	2018-02-16 17:00:37 -08:00
Timothy Clem	681d26830a	Add in a bigger set of Ruby	2018-02-16 17:00:23 -08:00
Josh Vera	169fb99621	Merge pull request #1503 from github/bump-effects ... ++effects	2018-02-16 17:20:05 -05:00
joshvera	e1f955939e	++effects	2018-02-16 17:12:43 -05:00
joshvera	d296e97a49	++effects	2018-02-16 17:12:12 -05:00
joshvera	eb02c9d179	Merge remote-tracking branch 'origin/master' into bump-effects	2018-02-16 17:11:20 -05:00
Josh Vera	4299655539	Merge pull request #1501 from github/jsx-fixes ... JSX Fixes	2018-02-16 17:09:31 -05:00
Timothy Clem	b695de16c8	Formatting	2018-02-16 14:09:24 -08:00
Timothy Clem	9662cb1427	Encapsulate idea of recurring to peel off a layer	2018-02-16 14:09:18 -08:00
Timothy Clem	9bc0668ff1	Pair down to only what we are using	2018-02-16 14:08:35 -08:00
Timothy Clem	f85e89872c	New eval instance for integers	2018-02-16 13:40:21 -08:00
Timothy Clem	484abcc2ec	Stub out basics for small ruby syntax	2018-02-16 13:39:24 -08:00
Timothy Clem	552576f80c	New Eval type class to go with	2018-02-16 13:39:05 -08:00
Timothy Clem	47c60e7807	New evaluating strategy	2018-02-16 13:38:35 -08:00
Timothy Clem	e46d92dc65	Eval test harness for Ruby	2018-02-16 13:37:56 -08:00
Timothy Clem	e0272ae982	Small version of Ruby syntax	2018-02-16 13:37:47 -08:00
joshvera	0991bcdadc	Replace member expression with nested identifier	2018-02-16 16:32:32 -05:00
joshvera	cb6df90b07	++haskell-tree-sitter	2018-02-16 16:26:49 -05:00
joshvera	37356a1675	++haskell-tree-sitter	2018-02-16 15:47:24 -05:00
Timothy Clem	3c5714af7f	Add a type signature here	2018-02-16 12:38:29 -08:00
Timothy Clem	9d52485d9e	Reduce duplication	2018-02-16 12:38:29 -08:00
Timothy Clem	8fb782eba5	Correct/update docs	2018-02-16 12:38:29 -08:00
Timothy Clem	4b03b90da5	Pass value in Interface	2018-02-16 12:38:29 -08:00
Timothy Clem	f6be7cc4ad	Remove tracing	2018-02-16 12:38:29 -08:00
Timothy Clem	21ad964ceb	s/Program/Interface	2018-02-16 12:38:29 -08:00
Timothy Clem	cbc5776cc9	Cleanup, remove imports, extra contexts	2018-02-16 12:38:29 -08:00
Timothy Clem	36fb96fc57	Move newtype up in this file	2018-02-16 12:38:29 -08:00
Timothy Clem	432766a6c1	Remove TODOs, docs	2018-02-16 12:38:29 -08:00
Timothy Clem	3296644cc8	Remove Linker Effect	2018-02-16 12:38:29 -08:00
Timothy Clem	2724c265dd	Requiring a module, updates localEnv	2018-02-16 12:38:29 -08:00
Timothy Clem	e328d6d642	Custom eval for Programs to maintain env	2018-02-16 12:38:29 -08:00