New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SI prefixes #11
Comments
Implementation plan:
In addition, if the full identifier is a long name of a prefix, like Let's check if this handles known problematic cases.
Potential problems:
|
Note: we can not delay this to compilation time because the type checker needs that information. it needs to know that |
This has been solved in a different way. We introduced a new stage to the compiler ("Prefix Transformer"). |
This needs to be checked rather sooner than later. Does our "user-defined units" concepts fare well with SI prefixes that can come directly before the identifier? Or do we only support those prefixes on specified units (we probably should)? Or only on a small set of builtin units (that would be a bit sad)?
kilometer
=> prefix(kilo
) · identifier(meter
)km
=> prefix(kilo
) · identifier(meter
)The text was updated successfully, but these errors were encountered: