Code

Add [@@no_inline_let] annotation#3169

Code

Open

amosr wants to merge 3 commits intoFStarLang:masterFStarLang/FStar:masterfrom amosr:amos/noinlineletamosr/FStar:amos/noinlineletCopy head branch name to clipboard

+66-16

Commits

Commits on Sep 25, 2024

• add [@@no_inline_let] annotation for local lets

  amosr

  committed
  b4f91d9

• snap

  amosr

  committed
  484b8f1

Commits on Oct 9, 2024

• add test for no_inline_let pragma

  amosr

  committed
  4b6e1be