Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Compiler: Class Definition/Instance Kind Checking #62

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from
Draft

Compiler: Class Definition/Instance Kind Checking #62

wants to merge 11 commits into from

Conversation

cstml
Copy link
Contributor

@cstml cstml commented Feb 24, 2023 •
edited
Loading

  1. Add kind checking to Class Instances.
  2. Add kind checking to Class Definitions.

@cstml cstml changed the base branch from main to compiler/proto-integration February 24, 2023 12:14
@cstml cstml marked this pull request as draft February 24, 2023 12:14
@cstml cstml self-assigned this Feb 24, 2023
@cstml cstml added the compiler Work related to the Lambda Buffers Compiler label Feb 24, 2023
Base automatically changed from compiler/proto-integration to main February 28, 2023 18:37
@cstml cstml force-pushed the compiler/class-instance-checking branch from 28363d9 to c752048 Compare March 1, 2023 10:06
@cstml cstml changed the title Compiler: Class Instance Kind Checking Compiler: Class Definition/Instance Kind Checking Mar 6, 2023
@cstml cstml force-pushed the compiler/class-instance-checking branch from 7c3f00f to d71f52d Compare March 6, 2023 17:50
@cstml cstml force-pushed the compiler/class-instance-checking branch from d71f52d to d45446a Compare March 7, 2023 12:49
@cstml cstml requested a review from bladyjoker March 8, 2023 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bladyjoker bladyjoker Awaiting requested review from bladyjoker

Assignees

@cstml cstml

Labels
compiler Work related to the Lambda Buffers Compiler
Projects
Lambda Buffers
Status: No status
Milestone
Catalyst milestone 2: End to end proo...
Development

Successfully merging this pull request may close these issues.
1 participant
@cstml