Context Navigation

Changes between Version 21 and Version 22 of Supercompilation

v21	v22
32	32	* Implement Simon's algorithm.
33	33
34		Other things we need to watch out for
	34	Shortcomings of the prototype:
	35	* Use a state monad
	36	* Uses eager substitution
35	37	* Divide by zero
36	38	* Homeomorphic embedding for types? Currently all types are regarded as equal (like literals). Decision: leave it this way for now.
…	…
40	42	* case (x>y)of { ....case (x>y) of ... }
41	43	* Extending this to specialised functions themselves.
	44
	45	What next?
	46	* Export unfoldings for recursive functions. Remember to add the "loop-breaker" info to interface files (and read it back in).
	47	* Write drive, msg, split in the R form. Still with eager substitution
	48	* Lambda lifting
	49	* Using lazy substitutions
	50	* Refined whistle-blowing test
	51	* Neil's msg
	52
	53	Later
	54	* Case-of-case duplication
	55	* Post-pass to identify deepId
	56	* Post-pass to undo redundant specialisation??
42	57
43	58	== Open questions ==