Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | SI-5845 Advances the example from a crasher to an inference failure. | Jason Zaugg | 2012-05-28 | 1 | -1/+1 | |
* | | | | | Merge pull request #635 from adriaanm/topic/virtpatmat | Adriaan Moors | 2012-05-28 | 1 | -1/+5 | |
|\ \ \ \ \ | |_|_|/ / |/| | | | | ||||||
| * | | | | handle approximating alternative of empty pattern | Adriaan Moors | 2012-05-28 | 1 | -1/+4 | |
| * | | | | don't check exhaustivity involving user-defined unapplySeq | Adriaan Moors | 2012-05-28 | 1 | -0/+1 | |
| |/ / / | ||||||
* | | | | Merge pull request #633 from retronym/topic/value-class-bridge | Adriaan Moors | 2012-05-27 | 1 | -2/+13 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Fix a NSDNHAO in extension methods. | Jason Zaugg | 2012-05-27 | 1 | -2/+13 | |
* | | | | Handled some of our new exhaustiveness warnings. | Paul Phillips | 2012-05-26 | 9 | -11/+17 | |
* | | | | Help our new exhaustiveness checker. | Paul Phillips | 2012-05-26 | 1 | -6/+9 | |
|/ / / | ||||||
* | | | Merge pull request #612 from adriaanm/ticket/5829 | Adriaan Moors | 2012-05-26 | 1 | -2/+2 | |
|\ \ \ | ||||||
| * | | | fix SI-5829: refinement typeref has a prefix | Adriaan Moors | 2012-05-24 | 1 | -2/+2 | |
| |/ / | ||||||
* | | | Merge pull request #625 from retronym/ticket/5318-3 | Adriaan Moors | 2012-05-25 | 2 | -35/+25 | |
|\ \ \ | ||||||
| * | | | SI-5318 Make implicit divergence checking PolyType aware. | Jason Zaugg | 2012-05-25 | 2 | -35/+25 | |
* | | | | Merge pull request #624 from hubertp/topic/cleanup | Josh Suereth | 2012-05-25 | 3 | -23/+1 | |
|\ \ \ \ | ||||||
| * | | | | Cleaning up some code introduced for the old presentation compiler long time ... | Hubert Plociniczak | 2012-05-24 | 3 | -23/+1 | |
* | | | | | Merge pull request #613 from hubertp/issue/5821 | Adriaan Moors | 2012-05-25 | 2 | -10/+16 | |
|\ \ \ \ \ | ||||||
| * | | | | | Closes SI-5821. | Hubert Plociniczak | 2012-05-24 | 2 | -10/+16 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #621 from axel22/issue/5085b | Adriaan Moors | 2012-05-25 | 1 | -4/+22 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fixes SI-5085 and SI-4833. | Aleksandar Prokopec | 2012-05-25 | 1 | -4/+22 | |
| | |_|/ / | |/| | | | ||||||
* | | | | | don't error when not emitting required switch | Adriaan Moors | 2012-05-25 | 1 | -1/+1 | |
* | | | | | Merge pull request #619 from magarciaEPFL/ticket-SI-5805 | Adriaan Moors | 2012-05-25 | 1 | -4/+5 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fixes SI-5805 | Miguel Garcia | 2012-05-24 | 1 | -4/+5 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #618 from axel22/issue/5428 | Adriaan Moors | 2012-05-25 | 1 | -0/+5 | |
|\ \ \ \ \ | ||||||
| * | | | | | Fixes SI-5428. | Aleksandar Prokopec | 2012-05-24 | 1 | -0/+5 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #617 from phaller/implicit-execution-context | Adriaan Moors | 2012-05-24 | 4 | -42/+97 | |
|\ \ \ \ \ | ||||||
| * | | | | | Move implicit ExecutionContext to be determined by lexical scope | phaller | 2012-05-24 | 4 | -42/+97 | |
| |/ / / / | ||||||
* / / / / | Fixes SI-5441. | Aleksandar Prokopec | 2012-05-24 | 1 | -2/+2 | |
|/ / / / | ||||||
* | | | | Fix to naming of file. | Josh Suereth | 2012-05-23 | 1 | -0/+0 | |
* | | | | Merge branch 'master' into asm-compiled-once | Josh Suereth | 2012-05-23 | 12 | -108/+115 | |
|\ \ \ \ | ||||||
| * | | | | Widen types in names/defaults transformations. | Paul Phillips | 2012-05-23 | 1 | -13/+12 | |
| * | | | | Creator for superconstructor tree. | Paul Phillips | 2012-05-23 | 7 | -19/+14 | |
| * | | | | Usability improvements to Origins. | Paul Phillips | 2012-05-23 | 1 | -37/+49 | |
| * | | | | Cleanups in Treecheckers. | Paul Phillips | 2012-05-23 | 1 | -34/+33 | |
| * | | | | Make phase fmask a public val instead of a private var. | Paul Phillips | 2012-05-23 | 1 | -4/+6 | |
| * | | | | Relax -Xlint warning for implicit classes. Closes SI-5809. | Paul Phillips | 2012-05-23 | 1 | -1/+1 | |
* | | | | | ASM now compiled once in the build. | Josh Suereth | 2012-05-23 | 77 | -0/+0 | |
|/ / / / | ||||||
* | | | | Merge pull request #595 from som-snytt/ticket/3761-overload-byname-only | Lukas Rytz | 2012-05-23 | 1 | -3/+15 | |
|\ \ \ \ | ||||||
| * | | | | SI-3761: Overload resolution fails on by-name parameter (amended per lrytz) | Som Snytt | 2012-05-22 | 1 | -2/+1 | |
| * | | | | SI-3761: Overload resolution fails on by-name parameter | Som Snytt | 2012-05-21 | 1 | -4/+17 | |
| |/ / / | ||||||
* | | | | Merge pull request #575 from vjovanov/actors-migration-kit | Adriaan Moors | 2012-05-23 | 22 | -20/+660 | |
|\ \ \ \ | ||||||
| * | | | | Minor fixes for the Actor Migration Kit | Vojin Jovanovic | 2012-05-23 | 4 | -24/+19 | |
| * | | | | Adding the Actor Migration Kit. | Vojin Jovanovic | 2012-05-18 | 21 | -15/+660 | |
* | | | | | Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60 | Adriaan Moors | 2012-05-23 | 5 | -236/+1115 | |
|\ \ \ \ \ | ||||||
| * | | | | | Exhaustivity: TreeMakers as boolean propositions | Adriaan Moors | 2012-05-22 | 5 | -9/+712 | |
| * | | | | | TreeMaker approximation refactorings and bug fixes | Adriaan Moors | 2012-05-22 | 1 | -225/+401 | |
| | |/ / / | |/| | | | ||||||
* | | | | | Merge pull request #599 from som-snytt/ticket/5779-numeq-warn | Adriaan Moors | 2012-05-22 | 2 | -3/+12 | |
|\ \ \ \ \ | ||||||
| * | | | | | SI-5779: Wrong warning message (comparing Number) | Som Snytt | 2012-05-22 | 1 | -9/+13 | |
| * | | | | | SI-5779: Wrong warning message (comparing values of types Float/Double and Nu... | Som Snytt | 2012-05-21 | 2 | -4/+9 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #602 from hubertp/issue/5735 | Adriaan Moors | 2012-05-22 | 2 | -36/+42 | |
|\ \ \ \ \ | ||||||
| * | | | | | Last minor cleanup | Hubert Plociniczak | 2012-05-22 | 1 | -3/+3 | |
| * | | | | | More consistent solution for errorenous situations when infering the alternat... | Hubert Plociniczak | 2012-05-22 | 2 | -39/+41 |