Code

Pymbolic typing#868

Code

Merged

inducer merged 10 commits intomaininducer/loopy:mainfrom pymbolic-typinginducer/loopy:pymbolic-typingCopy head branch name to clipboardNov 7, 2024

+310-444

Commits

Commits on Nov 6, 2024

• Bump pymbolic dependency to 2024.1

  inducer

  committed
  4a16caa

  Copy full SHA for 4a16caa

• typing: Use ExpressionT from pymbolic

  inducer

  committed
  3a90123

  Copy full SHA for 3a90123

• Convert loopy's expression nodes to expr_dataclasses

  inducer

  committed
  3afeaa8

  Copy full SHA for 3afeaa8

• Make is_integer a type guard, move to typing

  inducer

  committed
  e2e3758

  Copy full SHA for e2e3758

• Delete/simplify/update persistent hashing code for updated pymbolic

  inducer

  committed
  f9f3a40

  Copy full SHA for f9f3a40

• Address type errors from more precisely typed pymbolic

  inducer

  committed
  eb89a3b

  Copy full SHA for eb89a3b

• Move some symbols to the root, fix docs

  inducer

  committed
  57fbd84

  Copy full SHA for 57fbd84

• Sharpen some types in loopy.symbolic

  inducer

  committed
  a6ab1a4

  Copy full SHA for a6ab1a4

Commits on Nov 7, 2024

• Vaguely accommodate old floopy behavior of None dimensions in shape

  inducer

  committed
  575d0c3

  Copy full SHA for 575d0c3

• FlattenMapper: claim everything is an integer

  Show description for f6da458
  inducer

  committed
  f6da458

  Copy full SHA for f6da458