8000 Throw more expressive error when already integrated type is inserted · Issue #44 · y-crdt/ypy · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Apr 22, 2025. It is now read-only.

Throw more expressive error when already integrated type is inserted #44

Closed
dmonad opened this issue Apr 27, 2022 · 0 comments
Closed

Throw more expressive error when already integrated type is inserted #44

dmonad opened this issue Apr 27, 2022 · 0 comments
Assignees
@Waidhoferj

Comments

@dmonad
Copy link
Contributor
dmonad commented Apr 27, 2022

The issue described here is definitely in the top 10 of common mistakes when working with Y*.

It would make sense to throw an error like "YType has already been integrated and cannot be inserted at a different place" instead of "Type cannot be integrated".

We should do that whenever we try to insert a type that is not prelim.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Waidhoferj Waidhoferj

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Better Integration Error Messages y-crdt/ypy
2 participants
@dmonad @Waidhoferj
0