agda/hs-tags

Issues

• Does not build with GHC 9.2 or 9.4

  #2 opened 3 years ago by andreasabel
  12

• No tags for projections in record pattern synonyms

  #8 opened 2 years ago by andreasabel
  0

• compilation failure with ghc 9.0.2

  #6 opened 2 years ago by bergmark
  2

• hs-tags plainly calls `ghc` which might not work in all configurations

  #3 opened 3 years ago by antoinevanmuylder
  6

• Add a test-suite

  #4 opened 3 years ago by andreasabel
  0

• We need a new name for `hTags` if we are going to publish it

  #1 opened 3 years ago by andreasabel
  2