Comments (7)
Do you see these errors always with the two numbers the same, or with the start number smaller than the end number?
Also, I've pushed a change to that error message that will hopefully tell me where the bad interval is coming from (that is, lots of bits information come from different places into that function and get stuck in an interval map and the to-add
argument should tell us which one).
from drracket.
I can provoke this error (with the numbers different) pretty consistently by opening up racket/unit.rkt
and just scrolling up and down (with the arrow keys) until the error happens.
from drracket.
Here's the new extra info from that method:
interval-map-cons*!: from is not strictly less than to
im: #<interval-map>
start: 95984
end: 95984
obj: (var-arrow #0=(object:...ivate/get-extend.rkt:133:12 ...) 959...
context...:
/home/samth/sw/plt/extra-pkgs/data/data-lib/data/interval-map.rkt:67:0: interval-map-cons*!
/home/samth/sw/plt/extra-pkgs/drracket/drracket/drracket/private/syncheck/gui.rkt:855:12: syncheck:add-arrow/name-dup/pxpy method in ...ate/syncheck/gui.rkt:365:10
/home/samth/sw/plt/extra-pkgs/drracket/drracket/drracket/private/syncheck/gui.rkt:1922:10: loop
/home/samth/sw/plt/extra-pkgs/gui-lib/gui-lib/framework/private/logging-timer.rkt:41:0: log-timeline/proc
/home/samth/sw/plt/extra-pkgs/gui-lib/gui-lib/mred/private/wx/common/queue.rkt:454:6
from drracket.
from drracket.
Fixed: f347a8b
from drracket.
@rmculpepper for the syntax-parse issue.
from drracket.
I wonder if that could possibly have been be caused by:
racket/racket@3c5ed5d
from drracket.
Related Issues (20)
- "Kill" button is misleading HOT 3
- Writing prevents tab switching HOT 1
- `Run` related timing-specific rendering bug w/definition drop-down
- MacOS, Monterey at least, Warning: Window move completed without beginning
- [Feature] Make/permit arrows (spec. tacked arrows) show on minimap HOT 1
- DrRacket crashes to desktop on Windows 10 and 11 64 bit HOT 4
- Add a Touch Typing Tutorial to DrRacket
- Parrot or espeak package/library
- Insert large letters + big font size makes UI unnavigable HOT 1
- Package updates fail unless I run DrRacket as administrator HOT 1
- DrRacket internal error, difficulty w/^C HOT 3
- Sticky scroll shows the current scope at the top of definitions HOT 1
- Bump version of drracket-tool-text-lib HOT 1
- HEART LOGO EVERY DAY NOT JUST VALENTINE'S DAY HOT 1
- Various unicode symbols fail to display anywhere in the application after being displayed in italics HOT 1
- DrRacket very slow for text editing after new installation HOT 7
- DrRacket Crashes on Debug Rerun on Earlier Stack-frame HOT 1
- out of control memory use on rhombus/private/string.rkt HOT 6
- DrRacket crashes w/mutation while enumeration HOT 3
- Add default quickscripts HOT 13
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from drracket.