Racket Mode was recently enhanced in this neighborhood: https://github.com/greghendershott/racket-mode/issues/316#issuecomment-691586485
If you upgrade it and that works for you, great. If not feel free to open a GitHub issue about it. (Right now I'm not really able to download that pl.plt file and try it myself.) On Tuesday, October 13, 2020 at 3:53:52 PM UTC-4, Julian wrote: > > Hi, > > For reasons X and Y that I won't get into I'm using Emacs instead of > DrRacket for writing racket code for the Programming languages class that > I'm taking. I have found that racket-mode (as recommended by > https://docs.racket-lang.org/guide/Emacs.html) is able to do a lot of > neat things and most of what I need to code. > > The one limitation that I have run into is running my code and getting any > kind of coverage information, whether that's visual highlighting or a > printout in the REPL. At the moment I use DrRacket exclusively for this > task. Back in the racket-mode Emacs world the closest thing that I have > found is this: > https://racket-mode.com/#racket_002dtest > > However, this method not flexible enough since it requires me to put my > tests in the following form, which differs from the test writing convention > that I have to follow for this class: > (module+ test (require rackunit) (check-true #t)) > > I have heard that xrepl should be able to help me since I should be able > to use > ,coverage > but when I try to require it in the repl I get the following: > > hw4.rkt> (require xrepl) > ; hw4.rkt::424: Type Checker: missing type for top-level identifier; > ; either undefined or missing a type annotation > ; identifier: require > ; in: require > ; Context: > ; /usr/racket/collects/syntax/private/id-table.rkt:454:11 > free-id-table-ref > ; /usr/racket/collects/syntax/private/id-table.rkt:454:11 > free-id-table-ref > > The racket language I'm using is a custom teaching language (#lang pl 04) > available here <https://pl.barzilay.org/pl.plt>. > > Does anyone have any ideas on how I could get coverage to work directly > with racket-mode or with xrepl still inside of Emacs? > > Background: I'm not experienced with Racket (only have knowledge of > [B/I]SL languages and what I'm learning in this class) and I'm also not an > Emacs wizard. > > Thanks for the help. > - Julian > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/2ed8f669-d2d6-4e3d-a349-3201ff7f42a5o%40googlegroups.com.
