Code

Various small refactorings#2441

Code

Merged

facundominguez merged 10 commits intodevelopucsd-progsys/liquidhaskell:developfrom fd/refactoringsucsd-progsys/liquidhaskell:fd/refactoringsCopy head branch name to clipboardNov 15, 2024

+130-271

Commits

Commits on Nov 14, 2024

• Replace qualifySpec function with a namespace for non-external names

  facundominguez

  committed
  92ea914

  Copy full SHA for 92ea914

• Remove unused LAsrt data constructor in Parser.hs

  facundominguez

  committed
  dde1417

  Copy full SHA for dde1417

• Simplify makeLiftedSpec0

  facundominguez

  committed
  dcb424c

  Copy full SHA for dcb424c

• Remove BareSpec newtype

  facundominguez

  committed
  9aeb333

  Copy full SHA for 9aeb333

• Simplify Constraints of ppExists

  facundominguez

  committed
  4278f3a

  Copy full SHA for 4278f3a

Commits on Nov 15, 2024

• Remove unneeded PVKind type

  facundominguez

  committed
  b411f52

  Copy full SHA for b411f52

• Remove bndr parameter of Spec, always set to LocSymbol

  facundominguez

  committed
  6237bf3

  Copy full SHA for 6237bf3

• Remove unused serialization code for spec files

  facundominguez

  committed
  99932be

  Copy full SHA for 99932be

• Collect typealiases in resolveLHNames

  facundominguez

  committed
  3dc5091

  Copy full SHA for 3dc5091

• Please hlint

  facundominguez

  committed
  fa91d97

  Copy full SHA for fa91d97