Code

wence/better type inference#215

Code

Draft

wence- wants to merge 3 commits intomasterfiredrakeproject/tsfc:masterfrom wence/better-type-inferencefiredrakeproject/tsfc:wence/better-type-inferenceCopy head branch name to clipboard

+78-19

Commits

Commits on May 15, 2020

• fem: Reify known real expressions

  Show description for 533cc18
  wence-

  committed
  533cc18

  Copy full SHA for 533cc18

• impero: Attempt type inference on return variable

  Show description for 54e2978
  wence-

  committed
  54e2978

  Copy full SHA for 54e2978

• loopy: Use inferred type for output GlobalArg

  Show description for 03f59a9
  wence-

  committed
  03f59a9

  Copy full SHA for 03f59a9