Code

Fix is_rec_typ deriver bug(s)#272

Code

Merged

jmid merged 5 commits intoc-cube:mainc-cube/qcheck:mainfrom jmid:is_rec_typ_deriver_bugjmid/qcheck:is_rec_typ_deriver_bugCopy head branch name to clipboardMay 2, 2023

+50-3

Commits

Commits on May 2, 2023

• correct is_rec_typ

  jmid

  committed
  8685dad

• add test case

  jmid

  committed
  0c2728f

• fix is_rec_constr_decl record case

  jmid

  committed
  78e8baf

• add test case for is_rec_constr_decl record case

  jmid

  committed
  08db794

• Add CHANGELOG entry

  jmid

  committed
  d779d26