Show test coverage badge with cover-badge

[dannypsnl]

Show test coverage badge with cover-badge

[CYBAI]

While running raco cover -b . locally in the root folder of k, I got this error:

→ raco cover -b .
cover: instrumenting: /Users/cybai/codespace/racket/k/k/info.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/info.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/base.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/bindings.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/builtin.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/check.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/core.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/data.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/def.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/helper/id-hash.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/helper/stx-util.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/main.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-core/k/type.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-doc/info.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-doc/k/info.rkt
cover: instrumenting: /Users/cybai/codespace/racket/k/k-doc/k/k.scrbl
#<syntax:k-core/k/def.rkt:81:80 (≡ A y x)>
/Users/cybai/codespace/racket/k/k-lib/k/equality.rkt
/Users/cybai/codespace/racket/k/k-doc/k/pages/language.scrbl
/Users/cybai/codespace/racket/k/k-doc/k/k.scrbl
k-lib/k/equality.rkt:7:10: A: unbound identifier
  in: A
  location...:
   k-lib/k/equality.rkt:7:10
  context...:
   /Users/cybai/codespace/racket/k/k-core/k/core.rkt:75:0: normalize
   /Applications/Racket v8.3/collects/syntax/parse/private/runtime.rkt:80:24: temp26
   /Users/cybai/codespace/racket/k/k-core/k/core.rkt:78:0: check-type
   /Users/cybai/codespace/racket/k/k-core/k/def.rkt:114:3: for-loop
   /Applications/Racket v8.3/collects/syntax/parse/private/parse.rkt:1020:13: dots-loop
   /Applications/Racket v8.3/collects/syntax/wrap-modbeg.rkt:46:4
   /Users/cybai/Library/Racket/8.3/pkgs/cover-lib/cover/cover.rkt:247:6
   [repeats 1 more time]
   /Applications/Racket v8.3/collects/racket/require-transform.rkt:266:2: expand-import
   /Applications/Racket v8.3/collects/racket/private/reqprov.rkt:496:5
   /Applications/Racket v8.3/collects/racket/require-transform.rkt:266:2: expand-import
   /Applications/Racket v8.3/collects/racket/private/reqprov.rkt:285:21: try-next
   /Applications/Racket v8.3/collects/racket/private/reqprov.rkt:256:2
   /Applications/Racket v8.3/collects/syntax/wrap-modbeg.rkt:46:4
   /Users/cybai/Library/Racket/8.3/pkgs/cover-lib/cover/cover.rkt:247:6
   /Users/cybai/Library/Racket/8.3/pkgs/cover-lib/cover/cover.rkt:100:12
   ...

So, before trying to use cover-badge to generate the badge, we might need to fix the issue for raco cover.

[dannypsnl]

Let's postpone this to the future, macro-based encoding doesn't work as well as expected, let's back to the traditional way and see what's different.