You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Normally executing generic functions is only done after monomorphization but the comptime interpreter will need to be able to evaluate them without monomorphizing them first.
Happy Case
fnmain(){let three = comptime{ id(3)};}fnid<T>(x:T) -> T{ x }
Works along with other generic functions
Project Impact
None
Impact Context
No response
Workaround
None
Workaround Description
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered:
# Description
## Problem\*
Resolves#4924
## Summary\*
Implements the calling of generic functions in the interpreter
## Additional Context
I've removed the "type_check" method entirely since it was causing
errors. Certain types wouldn't match up (even with `follow_bindings`). I
couldn't fix this so I removed it since it is duplicated work from type
checking anyway.
## Documentation\*
Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.
# PR Checklist\*
- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
Problem
Normally executing generic functions is only done after monomorphization but the comptime interpreter will need to be able to evaluate them without monomorphizing them first.
Happy Case
Works along with other generic functions
Project Impact
None
Impact Context
No response
Workaround
None
Workaround Description
No response
Additional Context
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response
The text was updated successfully, but these errors were encountered: