summaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | SI-5845 Advances the example from a crasher to an inference failure.Jason Zaugg2012-05-281-1/+1
* | | | | Merge pull request #635 from adriaanm/topic/virtpatmatAdriaan Moors2012-05-281-1/+5
|\ \ \ \ \ | |_|_|/ / |/| | | |
| * | | | handle approximating alternative of empty patternAdriaan Moors2012-05-281-1/+4
| * | | | don't check exhaustivity involving user-defined unapplySeqAdriaan Moors2012-05-281-0/+1
| |/ / /
* | | | Merge pull request #633 from retronym/topic/value-class-bridgeAdriaan Moors2012-05-271-2/+13
|\ \ \ \ | |/ / / |/| | |
| * | | Fix a NSDNHAO in extension methods.Jason Zaugg2012-05-271-2/+13
* | | | Handled some of our new exhaustiveness warnings.Paul Phillips2012-05-269-11/+17
* | | | Help our new exhaustiveness checker.Paul Phillips2012-05-261-6/+9
|/ / /
* | | Merge pull request #612 from adriaanm/ticket/5829Adriaan Moors2012-05-261-2/+2
|\ \ \
| * | | fix SI-5829: refinement typeref has a prefixAdriaan Moors2012-05-241-2/+2
| |/ /
* | | Merge pull request #625 from retronym/ticket/5318-3Adriaan Moors2012-05-252-35/+25
|\ \ \
| * | | SI-5318 Make implicit divergence checking PolyType aware.Jason Zaugg2012-05-252-35/+25
* | | | Merge pull request #624 from hubertp/topic/cleanupJosh Suereth2012-05-253-23/+1
|\ \ \ \
| * | | | Cleaning up some code introduced for the old presentation compiler long time ...Hubert Plociniczak2012-05-243-23/+1
* | | | | Merge pull request #613 from hubertp/issue/5821Adriaan Moors2012-05-252-10/+16
|\ \ \ \ \
| * | | | | Closes SI-5821.Hubert Plociniczak2012-05-242-10/+16
| |/ / / /
* | | | | Merge pull request #621 from axel22/issue/5085bAdriaan Moors2012-05-251-4/+22
|\ \ \ \ \
| * | | | | Fixes SI-5085 and SI-4833.Aleksandar Prokopec2012-05-251-4/+22
| | |_|/ / | |/| | |
* | | | | don't error when not emitting required switchAdriaan Moors2012-05-251-1/+1
* | | | | Merge pull request #619 from magarciaEPFL/ticket-SI-5805Adriaan Moors2012-05-251-4/+5
|\ \ \ \ \
| * | | | | Fixes SI-5805Miguel Garcia2012-05-241-4/+5
| |/ / / /
* | | | | Merge pull request #618 from axel22/issue/5428Adriaan Moors2012-05-251-0/+5
|\ \ \ \ \
| * | | | | Fixes SI-5428.Aleksandar Prokopec2012-05-241-0/+5
| |/ / / /
* | | | | Merge pull request #617 from phaller/implicit-execution-contextAdriaan Moors2012-05-244-42/+97
|\ \ \ \ \
| * | | | | Move implicit ExecutionContext to be determined by lexical scopephaller2012-05-244-42/+97
| |/ / / /
* / / / / Fixes SI-5441.Aleksandar Prokopec2012-05-241-2/+2
|/ / / /
* | | | Fix to naming of file.Josh Suereth2012-05-231-0/+0
* | | | Merge branch 'master' into asm-compiled-onceJosh Suereth2012-05-2312-108/+115
|\ \ \ \
| * | | | Widen types in names/defaults transformations.Paul Phillips2012-05-231-13/+12
| * | | | Creator for superconstructor tree.Paul Phillips2012-05-237-19/+14
| * | | | Usability improvements to Origins.Paul Phillips2012-05-231-37/+49
| * | | | Cleanups in Treecheckers.Paul Phillips2012-05-231-34/+33
| * | | | Make phase fmask a public val instead of a private var.Paul Phillips2012-05-231-4/+6
| * | | | Relax -Xlint warning for implicit classes. Closes SI-5809.Paul Phillips2012-05-231-1/+1
* | | | | ASM now compiled once in the build.Josh Suereth2012-05-2377-0/+0
|/ / / /
* | | | Merge pull request #595 from som-snytt/ticket/3761-overload-byname-onlyLukas Rytz2012-05-231-3/+15
|\ \ \ \
| * | | | SI-3761: Overload resolution fails on by-name parameter (amended per lrytz)Som Snytt2012-05-221-2/+1
| * | | | SI-3761: Overload resolution fails on by-name parameterSom Snytt2012-05-211-4/+17
| |/ / /
* | | | Merge pull request #575 from vjovanov/actors-migration-kitAdriaan Moors2012-05-2322-20/+660
|\ \ \ \
| * | | | Minor fixes for the Actor Migration KitVojin Jovanovic2012-05-234-24/+19
| * | | | Adding the Actor Migration Kit.Vojin Jovanovic2012-05-1821-15/+660
* | | | | Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60Adriaan Moors2012-05-235-236/+1115
|\ \ \ \ \
| * | | | | Exhaustivity: TreeMakers as boolean propositionsAdriaan Moors2012-05-225-9/+712
| * | | | | TreeMaker approximation refactorings and bug fixesAdriaan Moors2012-05-221-225/+401
| | |/ / / | |/| | |
* | | | | Merge pull request #599 from som-snytt/ticket/5779-numeq-warnAdriaan Moors2012-05-222-3/+12
|\ \ \ \ \
| * | | | | SI-5779: Wrong warning message (comparing Number)Som Snytt2012-05-221-9/+13
| * | | | | SI-5779: Wrong warning message (comparing values of types Float/Double and Nu...Som Snytt2012-05-212-4/+9
| |/ / / /
* | | | | Merge pull request #602 from hubertp/issue/5735Adriaan Moors2012-05-222-36/+42
|\ \ \ \ \
| * | | | | Last minor cleanupHubert Plociniczak2012-05-221-3/+3
| * | | | | More consistent solution for errorenous situations when infering the alternat...Hubert Plociniczak2012-05-222-39/+41