Commits

Branch selector

 main

User selector

abgruszecki

Datepicker

All time

Commit History

Commits on Feb 15, 2024

• Fix the capture checking documentation

  Show description for 5f85033
  

  abgruszecki

  authored and

  Kordyjan

  committed
  5f85033

  Copy full SHA for 5f85033

Commits on Oct 18, 2022

• Add fixed GADT exhaustivity test cases (scala#16169)

  abgruszecki

  authored
  bbeb20d

  Copy full SHA for bbeb20d

Commits on Jul 27, 2022

• Merge pull request scala#15706 from dwijnand/one-tparam-used-twice

  Show description for 0c4c967
  abgruszecki

  authored
  0c4c967

  Copy full SHA for 0c4c967

Commits on Jul 25, 2022

• Merge pull request scala#15710 from dotty-staging/fix-15564

  Show description for f36967c
  abgruszecki

  authored
  f36967c

  Copy full SHA for f36967c

Commits on Jul 18, 2022

• Merge pull request scala#15688 from dwijnand/gadt/wildcards

  Show description for 2f7c107
  abgruszecki

  authored
  2f7c107

  Copy full SHA for 2f7c107

Commits on Jul 12, 2022

• Merge pull request scala#15544 from dwijnand/gadt/unsound-cast

  Show description for 2ea400a
  abgruszecki

  authored
  2ea400a

  Copy full SHA for 2ea400a

Commits on Jul 4, 2022

• Merge pull request scala#15571 from dotty-staging/fix-15569

  Show description for 298ef15
  abgruszecki

  authored
  298ef15

  Copy full SHA for 298ef15

Commits on May 17, 2022

• Update a comment in PatternTypeConstrainer

  abgruszecki

  authored
  414daeb

  Copy full SHA for 414daeb

Commits on Apr 15, 2022

• Merge pull request scala#14924 from dotty-staging/close-14001

  Show description for d6f268d
  abgruszecki

  authored
  d6f268d

  Copy full SHA for d6f268d

Commits on Apr 9, 2022

• Merge pull request scala#14832 from dwijnand/extract-wildcard-gadt-constraints

  Show description for ebe3d54
  abgruszecki

  authored
  ebe3d54

  Copy full SHA for ebe3d54

Commits on Mar 24, 2022

• Merge pull request scala#14728 from Linyxus/fix-gadt-sngl

  Show description for a2974d9
  abgruszecki

  authored
  a2974d9

  Copy full SHA for a2974d9

Commits on Dec 13, 2021

• Merge pull request scala#14068 from dotty-staging/fix-13987

  Show description for 472c8ff
  abgruszecki

  authored
  472c8ff

  Copy full SHA for 472c8ff

Commits on Oct 4, 2021

• Merge pull request scala#13031 from Linyxus/fix-param-unification

  Show description for 8c0648a
  abgruszecki

  authored
  8c0648a

  Copy full SHA for 8c0648a

Commits on Aug 31, 2021

• Merge pull request scala#13323 from Linyxus/fix/hkt-bounds

  Show description for f8dec07
  abgruszecki

  authored
  f8dec07

  Copy full SHA for f8dec07

Commits on Aug 26, 2021

• Merge pull request scala#13137 from dwijnand/patmat-dep

  Show description for b830af3
  abgruszecki

  authored
  b830af3

  Copy full SHA for b830af3

• Merge pull request scala#13380 from Linyxus/fix/frozen-gadt

  Show description for 2312258
  abgruszecki

  authored
  2312258

  Copy full SHA for 2312258

Commits on Jun 17, 2021

• Merge pull request scala#12846 from dotty-staging/fix-i11499

  Show description for 227d55c
  abgruszecki

  authored
  227d55c

  Copy full SHA for 227d55c

Commits on Jun 13, 2021

• Merge pull request scala#12724 from dotty-staging/refactor-lambdalift

  Show description for a63bedd
  abgruszecki

  authored
  a63bedd

  Copy full SHA for a63bedd

Commits on Jun 7, 2021

• Merge pull request scala#12506 from dotty-staging/deskolemize-gadts

  Show description for dd3f2fb
  abgruszecki

  authored
  dd3f2fb

  Copy full SHA for dd3f2fb

• Adjust comments

  abgruszecki

  committed
  cb10bb7

  Copy full SHA for cb10bb7

Commits on Jun 3, 2021

• Merge pull request scala#12667 from dotty-staging/fix-12664

  Show description for 41d262b
  abgruszecki

  authored
  41d262b

  Copy full SHA for 41d262b

• Merge pull request scala#12687 from julianmendez/master

  Show description for 92c75ab
  abgruszecki

  authored
  92c75ab

  Copy full SHA for 92c75ab

Commits on May 27, 2021

• Add explanatory comments

  abgruszecki

  committed
  fabd1ae

  Copy full SHA for fabd1ae

• Fix failing test

  abgruszecki

  committed
  fd45c69

  Copy full SHA for fd45c69

• Deskolemize PatternTypeConstrainer

  Show description for 10fe537
  abgruszecki

  committed
  10fe537

  Copy full SHA for 10fe537

Commits on May 25, 2021

• Merge pull request scala#12513 from dotty-staging/refactor-typed

  Show description for 1f4d125
  abgruszecki

  authored
  1f4d125

  Copy full SHA for 1f4d125

Commits on May 13, 2021

• Merge pull request scala#12439 from dotty-staging/fix-compiler-falgs-for-documentation

  Show description for 5e27be2
  abgruszecki

  authored
  5e27be2

  Copy full SHA for 5e27be2

Commits on May 10, 2021

• Replace @stable with @uncheckedStable

  Show description for 06d8e8e
  abgruszecki

  committed
  06d8e8e

  Copy full SHA for 06d8e8e

• Merge pull request scala#12397 from dotty-staging/fix/i12390

  Show description for 96b91d4
  abgruszecki

  authored
  96b91d4

  Copy full SHA for 96b91d4

• GADTs: consider singletons when checking inv. refinement

  abgruszecki

  committed
  62a2256

  Copy full SHA for 62a2256

Commits on Apr 29, 2021

• Merge pull request scala#12258 from dotty-staging/fix-12226

  Show description for 9faabb6
  abgruszecki

  authored
  9faabb6

  Copy full SHA for 9faabb6

• Add an explanatory comment

  abgruszecki

  committed
  96fecb0

  Copy full SHA for 96fecb0

Commits on Apr 28, 2021

• Merge pull request scala#12257 from dotty-staging/silence-transforming-error

  Show description for 2d2038e
  abgruszecki

  authored
  2d2038e

  Copy full SHA for 2d2038e

• Silence a debug println

  Show description for 3c7a682
  abgruszecki

  committed
  3c7a682

  Copy full SHA for 3c7a682

• Store GADT constraints until PostTyper

  abgruszecki

  committed
  b9239a2

  Copy full SHA for b9239a2

Pagination

Previous

Next