Code

Ensure type decls are types#3118

Code

Open

mtzguido wants to merge 7 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:2933mtzguido/FStar:2933Copy head branch name to clipboard

+58-26

Commits

Commits on Jan 14, 2025

• Syntax: add hasRange letbinding instance

  mtzguido

  committed
  1ef0a08

  Copy full SHA for 1ef0a08

• Norm: tweak to get_n_binders

  mtzguido

  committed
  f0048d5

  Copy full SHA for f0048d5

• Tc: check that 'type' declarations really define types

  Show description for e824185
  mtzguido

  committed
  e824185

  Copy full SHA for e824185

• Bump checked file version number

  mtzguido

  committed
  f270724

  Copy full SHA for f270724

• Mark FStarLang#2933 fixed

  mtzguido

  committed
  f286c64

  Copy full SHA for f286c64

• SMT: remove ill-typed unused definition

  mtzguido

  committed
  4953e2b

  Copy full SHA for 4953e2b

• Fix some (valid) regressions

  mtzguido

  committed
  b93640e

  Copy full SHA for b93640e