Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Special case dictionary abstraction and application during vectorisation | Manuel M T Chakravarty | 2011-11-17 | 1 | -72/+42 |
| | |||||
* | Wibbles | Manuel M T Chakravarty | 2011-11-09 | 1 | -6/+6 |
| | |||||
* | Use -fwarn-tabs when validating | Ian Lynagh | 2011-11-04 | 1 | -0/+7 |
| | | | | | We only use it for "compiler" sources, i.e. not for libraries. Many modules have a -fno-warn-tabs kludge for now. | ||||
* | This BIG PATCH contains most of the work for the New Coercion Representation | Simon Peyton Jones | 2011-04-19 | 1 | -1/+0 |
| | | | | | | | | | | | | | | See the paper "Practical aspects of evidence based compilation in System FC" * Coercion becomes a data type, distinct from Type * Coercions become value-level things, rather than type-level things, (although the value is zero bits wide, like the State token) A consequence is that a coerion abstraction increases the arity by 1 (just like a dictionary abstraction) * There is a new constructor in CoreExpr, namely Coercion, to inject coercions into terms | ||||
* | Finish breaking up vectoriser utils | benl@ouroborus.net | 2010-09-09 | 1 | -1/+1 |
| | |||||
* | Move VectType module to Vectorise tree | benl@ouroborus.net | 2010-09-09 | 1 | -1/+1 |
| | |||||
* | Move VectVar module to Vectorise tree | benl@ouroborus.net | 2010-09-08 | 1 | -0/+127 |