Commits

Branch selector

 lts-3.3

User selector

noti0na1

Datepicker

All time

Commit History

Commits on May 26, 2025

• Add test

  Show description for 79f047a
  

  noti0na1

  authored and

  tgodzik

  committed
  79f047a

  Copy full SHA for 79f047a

• Try to handle SkolemTypes in SingletonTypeTree during pickling

  Show description for 545917e
  

  noti0na1

  authored and

  tgodzik

  committed
  545917e

  Copy full SHA for 545917e

Commits on Apr 27, 2025

• Revert the PolyType case in #21744

  Show description for 361004f
  

  noti0na1

  authored and

  tgodzik

  committed
  361004f

  Copy full SHA for 361004f

Commits on Apr 23, 2025

• Rename setting name

  

  noti0na1

  authored and

  tgodzik

  committed
  fce04dc

  Copy full SHA for fce04dc

• Remove repl bin; rename flag

  

  noti0na1

  authored and

  tgodzik

  committed
  db49c88

  Copy full SHA for db49c88

• Add REPL flag to quit after evaluating init script

  

  noti0na1

  authored and

  tgodzik

  committed
  42e1ada

  Copy full SHA for 42e1ada

Commits on Apr 1, 2025

• Refine logic for widenSingle

  Show description for 2ea9d6e
  

  noti0na1

  authored and

  tgodzik

  committed
  2ea9d6e

  Copy full SHA for 2ea9d6e

• Make individual tests

  Show description for 6ef1e8d
  

  noti0na1

  authored and

  tgodzik

  committed
  6ef1e8d

  Copy full SHA for 6ef1e8d

• Skip widenSingletons in widenInferred if the inferred type is too large

  

  noti0na1

  authored and

  tgodzik

  committed
  8617586

  Copy full SHA for 8617586

Commits on Mar 14, 2025

• copyright 2025

  Show description for 479469c
  

  noti0na1

  authored and

  tgodzik

  committed
  479469c

  Copy full SHA for 479469c

• Add a script test

  Show description for 93d35e0
  

  noti0na1

  authored and

  tgodzik

  committed
  93d35e0

  Copy full SHA for 93d35e0

• Update default value

  

  noti0na1

  authored and

  tgodzik

  committed
  05d69a0

  Copy full SHA for 05d69a0

• Add REPL init script setting

  

  noti0na1

  authored and

  tgodzik

  committed
  bcb229e

  Copy full SHA for bcb229e

• Move test to warn

  Show description for bc1e435
  

  noti0na1

  authored and

  tgodzik

  committed
  bc1e435

  Copy full SHA for bc1e435

• Only trust the type application part for case class unapplies

  Show description for 5f115fc
  

  noti0na1

  authored and

  tgodzik

  committed
  5f115fc

  Copy full SHA for 5f115fc

Commits on Mar 12, 2025

• Comment on the empty cases in notNullInfoFromCases.

  Show description for 00f09ac
  

  noti0na1

  authored and

  tgodzik

  committed
  00f09ac

  Copy full SHA for 00f09ac

• Treat asserted set of terminated NotNullInfo as universal set; fix test

  Show description for 5710a74
  

  noti0na1

  authored and

  tgodzik

  committed
  5710a74

  Copy full SHA for 5710a74

• Fix deep NotNullInfo

  

  noti0na1

  authored and

  tgodzik

  committed
  4f53b9b

  Copy full SHA for 4f53b9b

• Add terminated info

  

  noti0na1

  authored and

  tgodzik

  committed
  3be3813

  Copy full SHA for 3be3813

• Apply suggestions from code review

  Show description for eda8749
  

  2 peopleauthored and

  tgodzik

  committed
  eda8749

  Copy full SHA for eda8749

• Consider cases with Nothing type

  

  noti0na1

  authored and

  tgodzik

  committed
  aa14cd8

  Copy full SHA for aa14cd8

• Use a different rule for NotNullInfo

  Show description for cc6c783
  

  noti0na1

  authored and

  tgodzik

  committed
  cc6c783

  Copy full SHA for cc6c783

• Refactor NotNullInfo to record every reference which is retracted once.

  Show description for be022bb
  

  noti0na1

  authored and

  tgodzik

  committed
  be022bb

  Copy full SHA for be022bb

Commits on Mar 6, 2025

• Update test

  Show description for 6a68d2d
  

  noti0na1

  authored and

  tgodzik

  committed
  6a68d2d

  Copy full SHA for 6a68d2d

• Don't peoject nested wildcard pattern to nullable

  

  noti0na1

  authored and

  tgodzik

  committed
  e997526

  Copy full SHA for e997526

Commits on Feb 13, 2025

• Remove extra if

  Show description for 8845080
  

  noti0na1

  authored and

  tgodzik

  committed
  8845080

  Copy full SHA for 8845080

• Add REPL test

  

  noti0na1

  authored and

  tgodzik

  committed
  2fa37be

  Copy full SHA for 2fa37be

• Only allow opaque type def at outermost

  Show description for 0126484
  

  noti0na1

  authored and

  tgodzik

  committed
  0126484

  Copy full SHA for 0126484

• Allow opaque type def in repl

  Show description for 473dcb1
  

  noti0na1

  authored and

  tgodzik

  committed
  473dcb1

  Copy full SHA for 473dcb1

Commits on Dec 3, 2024

• Revert cache for signature in denot

  Show description for 4ee9d5a
  

  noti0na1

  authored and

  WojciechMazur

  committed
  4ee9d5a

  Copy full SHA for 4ee9d5a

• Cache signature in SingleDenotation for matchDegree; reduce denot calls in widens

  Show description for 9349867
  

  noti0na1

  authored and

  WojciechMazur

  committed
  9349867

  Copy full SHA for 9349867

• Fix typing cases

  Show description for d2c9b3f
  

  noti0na1

  authored and

  WojciechMazur

  committed
  d2c9b3f

  Copy full SHA for d2c9b3f

• Fix NotNullInfo for Case and Try; add more tests

  Show description for 6ff6b10
  

  noti0na1

  authored and

  WojciechMazur

  committed
  6ff6b10

  Copy full SHA for 6ff6b10

• Fix canComparePredefined(Nothing, T) in explicit nulls

  Show description for 9482449
  

  noti0na1

  authored and

  WojciechMazur

  committed
  9482449

  Copy full SHA for 9482449

Commits on Jul 6, 2024

• Apply suggestions

  Show description for aa18455
  

  noti0na1

  authored and

  WojciechMazur

  committed
  aa18455

  Copy full SHA for aa18455

Pagination

Previous

Next