Comments (3)
Normally there are suggestions for these type of error. For example:
>>> 1 niles
error: while type checking
┌─ <input:219>:1:3
│
1 │ 1 niles
│ ^^^^^ unknown identifier
│
= Did you mean 'miles'?
But the suggestion code is skipped for short identifiers (I think because there are so many 1 and 2 letter identifiers that standard edit-distance metrics don't work well here).
However in this case, I think we can do something like check to see if there's an identifier that only differs in case and make suggestions based on that
from numbat.
Thank you for the feedback. Duplicate of #103?
from numbat.
But the suggestion code is skipped for short identifiers (I think because there are so many 1 and 2 letter identifiers that standard edit-distance metrics don't work well here).
However in this case, I think we can do something like check to see if there's an identifier that only differs in case and make suggestions based on that
👍
from numbat.
Related Issues (20)
- Add info for functions HOT 1
- Binary operations with callables
- Conversion of rotational speeds is not correct HOT 1
- Feature request: Option to disable color HOT 3
- Type system extensions HOT 1
- Add glibc (libc6) as dependency to debian package HOT 2
- New dimensions HOT 2
- Typed holes
- Currency Providers HOT 4
- Add lowercase aliases for currencies? HOT 1
- Add support for raw strings HOT 4
- layout shifts after terminal loads HOT 1
- Type inference: follow-up tasks
- Lists are embarrassingly slow
- Give `quadratic_equation` a `List<B/A>` return type.
- Generic structs
- Example from the syntax overview fails in 1.12.0 HOT 3
- `numbat-wasm/www/` has formatting issues
- Struct field access fails if expression type is not yet concrete HOT 2
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 numbat.