Code

Fixing up #1040#1065

Code

Closed

dhess wants to merge 32 commits intomainhackworthltd/primer:mainfrom dhess/typedef-actions-testshackworthltd/primer:dhess/typedef-actions-testsCopy head branch name to clipboard

+1,413-486

Commits

Commits on May 24, 2023

• fix: Avoid long IDs for nodes in type of primitive def

  Show description for 7ba553f
  georgefst

  committed
  7ba553f

  Copy full SHA for 7ba553f

• refactor: Move selection types to App.Base

  Show description for ba08a34
  georgefst

  committed
  ba08a34

  Copy full SHA for ba08a34

• refactor: Parameterise selection types

  Show description for 0ac9c71
  georgefst

  committed
  0ac9c71

  Copy full SHA for 0ac9c71

• refactor!: Rename selection fields

  Show description for 355463c
  georgefst

  committed
  355463c

  Copy full SHA for 355463c

• refactor!: Don't use API-specific selection types

  Show description for 580a738
  georgefst

  committed
  580a738

  Copy full SHA for 580a738

• refactor: Make further use of new deriving helper

  Show description for 7ef54d2
  georgefst

  committed
  7ef54d2

  Copy full SHA for 7ef54d2

• refactor: Applying actions takes selection

  Show description for 0a67975
  georgefst

  committed
  0a67975

  Copy full SHA for 0a67975

• feat: Add canonical names to prim type def parameters

  Show description for 6b9606d
  georgefst

  committed
  6b9606d

  Copy full SHA for 6b9606d

• feat!: Output typedefs in API modules

  Show description for dd4c4a5
  georgefst

  committed
  dd4c4a5

  Copy full SHA for dd4c4a5

• feat: Expose available actions for typedefs

  Show description for b1c2250
  georgefst

  committed
  b1c2250

  Copy full SHA for b1c2250

• fix: Always omit nothing fields in JSON output

  Show description for b13def1
  georgefst

  committed
  b13def1

  Copy full SHA for b13def1

• feat: Set better selections after performing typedef actions

  Show description for 2ccdce0
  georgefst

  committed
  2ccdce0

  Copy full SHA for 2ccdce0

• feat: Add actions for modifying constructor field types

  Show description for 17dbeb3
  georgefst

  committed
  17dbeb3

  Copy full SHA for 17dbeb3

• refactor: Abstract over labelling in available actions property test

  Show description for 04c3f83
  georgefst

  committed
  04c3f83

  Copy full SHA for 04c3f83

• refactor: Match actual function names in hedgehog output

  Show description for 8ba3519
  georgefst

  committed
  8ba3519

  Copy full SHA for 8ba3519

• test: Extend available actions property test to cover typedefs

  Show description for d50be49
  georgefst

  committed
  d50be49

  Copy full SHA for d50be49

• AddConField - update TC

  Show description for d082c9e
  georgefst

  committed
  d082c9e

  Copy full SHA for d082c9e

• allow "renaming" a type to its old name

  Show description for e0c0b5d
  georgefst

  committed
  e0c0b5d

  Copy full SHA for e0c0b5d

• make AddInput work in con fields

  Show description for 40b11e3
  georgefst

  committed
  40b11e3

  Copy full SHA for 40b11e3

• less strict duplicate name checking

  Show description for 0852e55
  georgefst

  committed
  0852e55

  Copy full SHA for 0852e55

• refactor - updateType'

  Show description for b7915ed
  georgefst

  committed
  b7915ed

  Copy full SHA for b7915ed

• update names in metadata when renaming type

  Show description for 03c7185
  georgefst

  committed
  03c7185

  Copy full SHA for 03c7185

• detect capture when renaming type param

  Show description for b75d98a
  georgefst

  committed
  b75d98a

  Copy full SHA for b75d98a

• WIP - more fixes needed (see TODOs, then re-run test to check for more)

  Show description for 760d5db
  georgefst

  committed
  760d5db

  Copy full SHA for 760d5db

Commits on Jun 2, 2023

• fix: better metadata on rhs of new branch when addcon; that action now fails for different reason

  brprice

  committed
  0f44557

  Copy full SHA for 0f44557

• fix: use cached type of scrut in transformCaseBranches...

  Show description for 1d20ba7
  brprice

  committed
  1d20ba7

  Copy full SHA for 1d20ba7

• chore: clarify variable naming in checkEverything

  brprice

  committed
  8d96663

  Copy full SHA for 8d96663

• fix: checkEverything does smartholes inside typedefs

  brprice

  committed
  1631114

  Copy full SHA for 1631114

• fix: stable kind cache when AddConField

  brprice

  committed
  c2b3cae

  Copy full SHA for c2b3cae

Commits on Jun 9, 2023

• chore: formatting pass

  Show description for 131d9e9
  dhess

  committed
  131d9e9

  Copy full SHA for 131d9e9

• chore: clean up warnings

  Show description for 145520d
  dhess

  committed
  145520d

  Copy full SHA for 145520d

• fix: work around broken test

  Show description for 0400348
  dhess

  committed
  0400348

  Copy full SHA for 0400348