dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Handling typevars in inference.	Martin Odersky	2013-08-01	1	-6/+36
\| \| \| \|	Fleshed out handling of typevars for type inference. Also added some more methods to typer, for blocks, ifs and assignments. (Closures are still wip).
*	Added code for adapt and more.	Martin Odersky	2013-07-21	1	-9/+2
\| \| \| \| \| \| \|	- Pushed mode into context - Elimintaed scope nesting level - Fixed a desugar bug - Added constant folding
*	Integrated reporting into TyperState.	Martin Odersky	2013-07-19	1	-12/+12
\|
*	Made reporting framework more lightweight and uniform in preparation of ↵	Martin Odersky	2013-07-19	1	-0/+1
\| \| \| \|	future integration of reporters in typerstate.
*	Additions needed to support implicits.	Martin Odersky	2013-07-19	1	-0/+9
\| \| \| \| \| \|	Still to do: - properly account for bounded wildcard types - set up scheme for nested diagnostics buffers.
*	Added functionality to deal with function applications.	Martin Odersky	2013-07-11	1	-0/+43
	- Added Applications class to represent applications - Added Constraint class to represent type constraints - Added TyperState class to represent typer state - Added Diagnostic class to buffer errors and warnings - Added Inferencing class that contains some common functionality for type inferencing (this one's still rudimentary). - Added extractor for FunctionType in Definitions - Added desugaring of default parameters to default getters in Desugar - Added flags to deal with default parameters - Added substitutions that replace bound parameters