Commits

Branch selector

 main

User selector

natsukagami

Datepicker

All time

Commit History

Commits on Nov 8, 2022

• Ensure erased vals pass CheckRealizable (scala#16111)

  Show description for b50a29a
  natsukagami

  authored
  b50a29a

• Add note about realizibility in the spec

  natsukagami

  committed
  e770df3

• Add tests for scala#4060

  natsukagami

  committed
  11ace0f

• Check realizability of parameters of an erased function

  Show description for b429e6b
  natsukagami

  committed
  b429e6b

• Add realization check to erased definitions typer

  natsukagami

  committed
  f18465b

Commits on Nov 9, 2021

• Fix for the secondary constructor parameters bug

  Show description for 1971882
  natsukagami

  committed
  1971882

Commits on Apr 29, 2021

• Update Checking.scala

  natsukagami

  authored
  1d2688e

• Short circuit if we find a problematic promotion

  natsukagami

  committed
  363f8b6

• Fix init tests

  natsukagami

  committed
  259a2ab

• Move directlyPromote check up

  natsukagami

  committed
  270a886

• Fix nit on comment indentation

  natsukagami

  committed
  e7e6e7c

• Match Scala 3 style

  natsukagami

  committed
  ccbd3eb

• Fix comment style

  natsukagami

  committed
  fb48e37

• Mitigate infinite recursion on canDirectlyPromote

  natsukagami

  committed
  e2b758e

• Add more tests

  natsukagami

  committed
  dffcc6e

• Add expand logic to canDirectlyPromote

  natsukagami

  committed
  1874233

• Add checks for member classes

  natsukagami

  committed
  35b796b

• WIP: Rule 2 implementation

  natsukagami

  committed
  5af41fe

• Move rule 1 logic to canDirectlyPromote

  natsukagami

  committed
  40d7506

Commits on Feb 11, 2021

• Make test fail again

  natsukagami

  committed
  f02b8e2

Commits on Feb 10, 2021

• Cache safely promoted potentials

  natsukagami

  committed
  37258d0

• Add subclasses case to test

  natsukagami

  committed
  27f0fda

Commits on Feb 2, 2021

• Test for simple case

  natsukagami

  committed
  e5b9210

• Simple case working

  natsukagami

  committed
  0796461

Commits on Jan 24, 2021

• Fix trace callback

  natsukagami

  committed
  883adb2