spinda/liquidhaskell-cabal

Issues

• Doesn't build with ghc 8.8.3 (lts-15.13)

  #16 opened 5 years ago by googleson78
  0

• Inaccurate version bounds

  #15 opened 5 years ago by hvr
  3

• Suggestion: Use Cabal's file searching

  #14 opened 6 years ago by googleson78
  1

• does not honor pragma in .cabal

  #1 opened 6 years ago by bonds
  2

• output isn't useful unless there's an error

  #4 opened 6 years ago by bonds
  1

• [warn] liquid: <command line>: cannot satisfy -package-id ...

  #5 opened 6 years ago by bonds
  1

• liquidhaskell-cabal-0.1.1.0 does not compile

  #10 opened 6 years ago by peti
  2

• Support Cabal >= 2.2

  #11 opened 6 years ago by ElvishJerricco
  2

• liquid: fd:14: hGetLine: end of file

  #3 opened 9 years ago by bonds
  5

• invalid source, no location info

  #2 opened 9 years ago by bonds
  11