Code

Promote DataCon in matchTyCon#1828

Code

Open

nikivazou wants to merge 7 commits intodevelopucsd-progsys/liquidhaskell:developfrom propoteDCucsd-progsys/liquidhaskell:propoteDCCopy head branch name to clipboard

+57-13

Commits

Commits on Feb 26, 2021

• Update Resolve.hs

  nikivazou

  authored
  892552d

Commits on Mar 3, 2021

• change order fields of golden

  nikivazou

  committed
  dca2ed6

Commits on Mar 4, 2021

• json play

  nikivazou

  committed
  9493b66

Commits on Mar 5, 2021

• keep playin with json

  nikivazou

  committed
  95f1e1b

• keep playing with jsonn cmp

  nikivazou

  committed
  59fc962

Commits on Mar 6, 2021

• fix brackets

  nikivazou

  committed
  3c2a3e1

• update message

  nikivazou

  committed
  e6f839b