Code

Flagged tc#1667

Code

Open

yiyunliu wants to merge 33 commits intoucsd-progsys:typeclass-as-dictucsd-progsys/liquidhaskell:typeclass-as-dictfrom yiyunliu:flagged-tcyiyunliu/liquidhaskell:flagged-tcCopy head branch name to clipboard

+2,461-627

Commits

Commits on May 5, 2020

• add typeclass config

  yiyunliu

  committed
  a0db94a

• add dummy Elaborate. add InlineAux

  yiyunliu

  committed
  a219922

Commits on May 6, 2020

• add InlineAux for real. add Elaborate

  yiyunliu

  committed
  44c6035

• add Typeclass.hs

  yiyunliu

  committed
  5f4a395

• add dict erasing related predicates to Misc

  yiyunliu

  committed
  6c06902

• propagate typeclass flag from efoldreft

  yiyunliu

  committed
  34e03ce

• flag more tc related dict drops

  yiyunliu

  committed
  79afcc3

Commits on May 9, 2020

• flag mapTyVars

  yiyunliu

  committed
  4b54833

• flag ofBareTypeE

  yiyunliu

  committed
  87fafa8

• flag Generate.hs

  yiyunliu

  committed
  b507049

• flag splitC

  yiyunliu

  committed
  bb31d59

• remove dead code hasClassArg _isClassOrDict

  yiyunliu

  committed
  c444db1

• flag tc in ToFixpoint

  yiyunliu

  committed
  3f12994

Commits on May 10, 2020

• add Ghc Monad set context

  yiyunliu

  committed
  1683dbe

• flag tc in liquid/measure

  yiyunliu

  committed
  f0b5166

• flag tc in CoreToLogic

  yiyunliu

  committed
  798bcfb

• propagate fresh, core2logic tc flag

  yiyunliu

  committed
  edeabbb

• flag tc in PredType (probably unnecessary)

  yiyunliu

  committed
  ff49dda

• minor tweak

  yiyunliu

  committed
  9bb0b24

• RefType is impossible to flag..

  yiyunliu

  committed
  c2794b8

• add compileClasses

  yiyunliu

  committed
  f9cf3b9

Commits on May 11, 2020

• unbound tc binder

  yiyunliu

  committed
  6ee912f

• don't plugholes when tc is enabled

  yiyunliu

  committed
  ae336f5

• fix makeghcspec0 (use elaboratedSig instead of sig)

  yiyunliu

  committed
  934c691

• get rid of isClassType without flagging

  yiyunliu

  committed
  9b89afb

• clean up trace

  yiyunliu

  committed
  1f87e15

• Merge remote-tracking branch 'origin/develop' into flagged-tc

  yiyunliu

  committed
  997c8a3

Commits on May 12, 2020

• fix for ucsd-progsys#1669

  nikivazou

  committed
  abab694

• add tests from ucsd-progsys#1670

  nikivazou

  committed
  12db9e0

• Merge pull request ucsd-progsys#1672 from ucsd-progsys/T1669

  Show description for 14c6367
  nikivazou

  authored
  14c6367

• Merge remote-tracking branch 'origin/develop' into flagged-tc

  yiyunliu

  committed
  ba664cc

• fix covar bindings

  yiyunliu

  committed
  8657a50

Commits on May 13, 2020

• remove occurAnalysePgm. we need a different function for breaking Rec

  yiyunliu

  committed
  d1e08fd