-
Notifications
You must be signed in to change notification settings - Fork 191
Add separate logical kind parameters #424
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks good to me - the name "lp" is not very attractive, but I have no alternative that is any better.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. While I don't really like the abbreviation lp
(to what refer the p
?). However, I don't have an appropriate alternative (e.g., log_kind
, lk
, def_log
)?
- rename lp to lk
Renamed from |
I prefer |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Other than the single comment, I'm happy to see this merged.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!!
stdlib_kinds
:lp
: logical precision of default logical variables (name open for discussion)c_bool
: reexport fromiso_c_binding
LOG_KINDS
,LOG_TYPES
andLOG_KINDS_TYPES
macrosto_string
generator to useLOG_KINDS
stdlib_kinds
module in specificationCloses #423