racket / racket/drracket

Copy-pasting errors from DrRacket to Github, Discord etc.

Open
#776 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs in 30d

Description

Consider this error:

Image

If I copy-paste this error into Github I get:

Welcome to DrRacket, version 8.17 [cs].
Language: racket, with debugging [custom]; memory limit: 2048 MB.
. . /: division by zero

Notice that the stack-trace and the error icons are replaced with ..

In these unicode times, I think, we can find better replacements that a simple dot.

Here are some suggestions for the error icon (courtesy ChatGPT):

Image

It is more difficult to find a stack trace icon. But perhaps:

Image

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

No file, test, or entry point is identified in the issue. Start by locating DrRacket's error-rendering and copy-paste path, then compare the displayed output with what is copied as plain text. Done means stack traces and error indicators remain distinguishable from ordinary periods when pasted into GitHub or Discord.

Written by the indexing model from the issue text.

Assessment

Domain
desktop, devtools
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.