Skip to content

feat: Add some metaprogramming methods on TypeDefinition#5310

Merged
jfecher merged 8 commits intojf/quotedfrom
jf/type-def-api
Jun 24, 2024
Merged

feat: Add some metaprogramming methods on TypeDefinition#5310
jfecher merged 8 commits intojf/quotedfrom
jf/type-def-api

Conversation

@jfecher
Copy link
Contributor

@jfecher jfecher commented Jun 21, 2024

Description

Problem*

Resolves #5285

Summary*

Implements as_type, generics, and fields on the TypeDefinition type.

The Type type isn't really supported yet so as_type and fields return Quoted token streams instead of Types for now.

Additional Context

A few bugs still need to be fixed after this PR for the vertical slice to work.

Documentation*

Check one:

  • No documentation needed.
  • Documentation included in this PR.
  • [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

@jfecher jfecher requested a review from a team June 21, 2024 19:52
# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

Fixes an issue in the interpreter where the interpreter would error for
member access expressions on tuples. This prevented e.g. `my_tuple.0`.

## Additional Context



## 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.

---------

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
@jfecher jfecher merged commit a818d95 into jf/quoted Jun 24, 2024
@jfecher jfecher deleted the jf/type-def-api branch June 24, 2024 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants