18579 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	29824f64e7	Merge remote-tracking branch 'origin/evaluatable-simplification' into environment-scoping	2018-03-02 15:30:26 -08:00
Timothy Clem	afd18d7ab4	No need for CellValue anymore	2018-03-02 14:59:38 -08:00
Timothy Clem	515b9b64a1	Formatting those type sigs	2018-03-02 14:38:01 -08:00
Timothy Clem	db879fe1f6	Store the environment in the linker instead of an Interface.Value	2018-03-02 14:36:53 -08:00
Timothy Clem	623bfc4cbc	Rework import syntax to support importing symbols	2018-03-02 14:01:16 -08:00
Timothy Clem	e7ef9596b0	Introduce QualifiedIdentifer syntax	2018-03-02 14:00:42 -08:00
Rob Rix	be4bf5b1f7	📝 withModules.	2018-03-02 12:27:40 -05:00
Rob Rix	529becae3f	Use withModules to define evaluates.	2018-03-02 12:26:46 -05:00
Rob Rix	111e31e4da	Define a withModules helper.	2018-03-02 12:26:26 -05:00
Rob Rix	c972fbd958	Extract the module table into its own binding.	2018-03-02 12:23:28 -05:00
Rob Rix	60be5d2f1a	📝 evaluateTerm.	2018-03-02 12:13:01 -05:00
Rob Rix	ecbfd71a1c	Reformat evaluateTerm.	2018-03-02 12:11:28 -05:00
Rob Rix	ed4c2a9361	📝 Evaluation.	2018-03-02 10:58:29 -05:00
Rob Rix	91cfe37bc7	🔥 the Analysis.Abstract.TypeInference module.	2018-03-02 10:56:04 -05:00
Rob Rix	ce294d9181	📝 Evaluator.	2018-03-02 10:41:36 -05:00
Rob Rix	62189a026e	Derive the various instances for Evaluator.	2018-03-02 10:41:31 -05:00
Rob Rix	e44db3982e	📝 the MonadEvaluator methods.	2018-03-02 10:36:05 -05:00
Rob Rix	293df42d58	📝 MonadEvaluator.	2018-03-02 10:32:50 -05:00
Rob Rix	bf5ea51747	📝 abstract & apply.	2018-03-02 10:30:21 -05:00
Rob Rix	0071b25ba7	📝 MonadFunction.	2018-03-02 10:28:29 -05:00
Rob Rix	59afa36269	📝 MonadAnalysis.	2018-03-02 10:21:10 -05:00
Rob Rix	57eb8648ba	🔥 the term parameter from Type.	2018-03-02 10:17:38 -05:00
Rob Rix	9740758d01	Stub in a module for a type inference analysis.	2018-03-02 10:15:18 -05:00
Rob Rix	479f6d2992	📝 DeadCodeAnalysis.	2018-03-02 10:14:23 -05:00
Rob Rix	dcc0d5e607	Rename Evaluating to EvaluationEffects.	2018-03-02 10:12:38 -05:00
Rob Rix	79e94ab7ee	Rename DeadCodeEvaluating to DeadCodeEffects.	2018-03-02 10:12:03 -05:00
Rob Rix	cadd1463e5	Rename DeadCodeEvaluation to DeadCodeAnalysis.	2018-03-02 10:10:57 -05:00
Rob Rix	928e3e4421	📝 evaluateDead.	2018-03-02 10:10:02 -05:00
Timothy Clem	2d91f699f6	Fix up tests to assert wildcard imports	2018-03-01 14:59:09 -08:00
Timothy Clem	5e9a9b33a5	Wildcard imports	2018-03-01 14:50:54 -08:00
Rob Rix	a76027926d	Include the root term.	2018-03-01 17:20:59 -05:00
Rob Rix	f9797594e6	Derive Eq, Ord, & Show instances for Subterm.	2018-03-01 17:11:22 -05:00
Timothy Clem	ad225f7d89	Updated test fixtures for qualified imports	2018-03-01 14:04:13 -08:00
Timothy Clem	88cf37c367	Allow qualified name imports (Python only)	2018-03-01 14:03:57 -08:00
Rob Rix	5f35fb6397	Don’t list the Data.Abstract.Value exports explicitly.	2018-03-01 16:57:47 -05:00
Rob Rix	5199bebf39	Merge branch 'master' into evaluatable-simplification	2018-03-01 16:55:18 -05:00
Rob Rix	64aaf40b2f	Punt on evaluating Program nodes. ... @tclem’s work in #1517 is revising all of this so this will do for now.	2018-03-01 16:54:04 -05:00
Rob Rix	e20339bfdd	🔥 a TODO.	2018-03-01 16:35:40 -05:00
Rob Rix	a8d16aa05a	Rejigger the imports a little.	2018-03-01 16:33:45 -05:00
Rob Rix	73a5bcec3d	Simplify import evaluation.	2018-03-01 16:31:48 -05:00
Rob Rix	dcc332a75b	Move require/load into Data.Abstract.Evaluatable.	2018-03-01 16:30:26 -05:00
Rob Rix	106819c39e	Simplify the derived MonadEvaluator instance for Evaluation.	2018-03-01 16:11:56 -05:00
Rob Rix	e1b1ceb11c	Reformat some signatures.	2018-03-01 16:11:04 -05:00
Rob Rix	8234ce9e63	🔥 some redundant constraints.	2018-03-01 16:10:02 -05:00
Rob Rix	e6abde9dfc	Sort the Ord constraints down.	2018-03-01 16:08:43 -05:00
Rob Rix	244e1c2ad7	🔥 the orphan MonadAnalysis instance.	2018-03-01 16:07:28 -05:00
Rob Rix	e1a45b9997	🔥 the MonadDead module.	2018-03-01 16:06:56 -05:00
Rob Rix	ab9e129778	Define dead code evaluation with a MonadAnalysis instance.	2018-03-01 16:04:58 -05:00
Rob Rix	b148b6535c	Comment the store and failure effects.	2018-03-01 15:35:42 -05:00
Rob Rix	3424a6069c	Align some comments.	2018-03-01 15:33:54 -05:00