fix: extend available actions property test to cover typedefs, and fix revealed bugs#1040

Merged

brprice merged 21 commits into

mainfrom

georgefst/typedef-actions-tests

Jun 28, 2023

Commits on Jun 21, 2023

refactor: Abstract over labelling in available actions property test

georgefst
authored and
brprice
committed
refactor: Match actual function names in hedgehog output

georgefst
authored and
brprice
committed
fix: `AddConField` action sets correct `TypeCache`s

georgefst
authored and
brprice
committed
feat: allow "renaming" a type to its old name

georgefst
authored and
brprice
committed
feat: make `AddInput` work in typedef con fields

georgefst
authored and
brprice
committed
refactor: rename updateType{,Def} in applyProgAction
brprice
committed
refactor: extract updateType helper in RenameType action

georgefst
authored and
brprice
committed
fix: update names in metadata when renaming type

georgefst
authored and
brprice
committed
fix: detect capture when renaming type param

georgefst
authored and
brprice
committed
fix: use cached type of scrut in transformCaseBranches
brprice
committed
fix: better metadata in new branch from AddCon
brprice
committed
chore: clarify variable naming in checkEverything
brprice
committed
fix: forgetProgTypecache also acts on typedefs

georgefst
authored and
brprice
committed
fix: checkEverything does smartholes inside typedefs
brprice
committed
refactor: explicit TC error for duplicate parameters
brprice
committed
fix: add correct kind cache in AddConField
brprice
committed
fix: don't offer to delete in-use type params

georgefst
authored and
brprice
committed
fix: tcWholeProg not change selection inside ctor field
brprice
committed
test: Extend available actions property test to cover typedefs

georgefst
authored and
brprice
committed
fix: ignore typedef name clashes for available-actions-accepted

georgefst
authored and
brprice
committed
fix!: typedef actions detects all name clashes
brprice
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix: extend available actions property test to cover typedefs, and fix revealed bugs#1040

fix: extend available actions property test to cover typedefs, and fix revealed bugs#1040
brprice merged 21 commits into
mainfrom
georgefst/typedef-actions-tests

Commits on Jun 21, 2023

refactor: Abstract over labelling in available actions property test

refactor: Match actual function names in hedgehog output

fix: `AddConField` action sets correct `TypeCache`s

feat: allow "renaming" a type to its old name

feat: make `AddInput` work in typedef con fields

refactor: rename updateType{,Def} in applyProgAction

refactor: extract updateType helper in RenameType action

fix: update names in metadata when renaming type

fix: detect capture when renaming type param

fix: use cached type of scrut in transformCaseBranches

fix: better metadata in new branch from AddCon

chore: clarify variable naming in checkEverything

fix: forgetProgTypecache also acts on typedefs

fix: checkEverything does smartholes inside typedefs

refactor: explicit TC error for duplicate parameters

fix: add correct kind cache in AddConField

fix: don't offer to delete in-use type params

fix: tcWholeProg not change selection inside ctor field

test: Extend available actions property test to cover typedefs

fix: ignore typedef name clashes for available-actions-accepted

fix!: typedef actions detects all name clashes