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

Implement more core features #15

Merged
merged 57 commits into from
Jan 14, 2024
Merged

Implement more core features #15

merged 57 commits into from
Jan 14, 2024

Conversation

purefunctor
Copy link
Owner

Merging this in preparation for a refactoring.

This changeset includes even more core features like:

  • Basic inference for algebraic data types
  • Initial approach for string interning
  • Name resolution that makes use of imports and exports

@purefunctor
Separate contexts into files
4459389
@purefunctor
Move result structs into rules.rs
2a23f9d
@purefunctor
Implement substitution during inference
b100eca
@purefunctor
Remove the reference type
f83e24c
@purefunctor
Remove unnecessary lifetimes
ddeb2e7
@purefunctor
Move lowering into rules and simplify
b3a243a
@purefunctor
Simplify code for building the nominal map
33ab30a
@purefunctor
Make TypeVariableBinding an enum
c386473
@purefunctor
Add data and constructor in the nominal map
2399cd5
@purefunctor
Implement initial data lowering
9030763
@purefunctor
Parse data annotations
19b8e98
@purefunctor
Add data annotations to AST
67e725e
@purefunctor
Add data annotation to positional map
d6506b9
@purefunctor
Nit fix
d4f8af9
@purefunctor
Implement DataGroup in NominalMap
00563ed
@purefunctor
Add InFile to access functions
724ace7
@purefunctor
Export DataGroup in resolver.rs
023defe
@purefunctor
New implementation for lowering data declarations
b8f20e4
@purefunctor
Integrate data lowering into SurfaceContext
f4ff41f
@purefunctor
Simplify return type for data_surface_query
f6876e1
@purefunctor
Implement initial resolution for constructors
b8d59cc
@purefunctor
Add visitor for Type
63b1b0d
@purefunctor
Implement resolution for type references
c159a7a
@purefunctor
Rename type and query
3ed0a52
@purefunctor
Implement Default for WithScope and ValueGroupScope
6616a28
@purefunctor
Initial resolutions for data group
b4f7f1e
@purefunctor
Pass resolutions during lowering
9c92fc3
@purefunctor
Simplify API for unification
5e76f39
@purefunctor
Add InFile to type resolutions
b4feaf4
@purefunctor
Remove parenthesis if constructor is an application
c35f44e
purefunctor and others added 27 commits December 20, 2023 21:59
@purefunctor
Implement type inference for constructors
ae8ea91
@purefunctor
Implement the interner crate
64d885a
@purefunctor
Implement Interner using a specialized HashTable
8d0ae9d
@purefunctor
Add interner to SourceDatabase
417db59
@purefunctor
Use interned strings for the type core
183b8a4
@purefunctor
Simplify interner even further
8b52128
@purefunctor
Make data_id carry the FileId
63ce7e4
@purefunctor
Implement resolution for constructor expressions
69afb4c
@purefunctor
Extract into infer_expr functions
c3c649c
@purefunctor
Fix clippy hint
7060af5
@purefunctor
Make sure to substitute the substitutions
d79b46d
@purefunctor
Implement type instantiation
e63a51c
@purefunctor
Add the data_groups function to NominalMap
3a91eda
@purefunctor
Add iter for DataGroupTypes
a9b0cd3
@purefunctor
Add tests for constructors
d6a0a68
@purefunctor
Make names interned
215c28d
@purefunctor
Be more lenient with InDb
9487fd7
@purefunctor
Make module names cheaper
353944a
@purefunctor
Add documentation about internal representation of names
fb8eb68
@purefunctor
Implement new ModuleMap
beb29e3
@purefunctor
Initial implementation for imports and exports
a6927e0
@purefunctor
Move module exports and imports to surface
818938f
@purefunctor
Fix various clippy lints
887bfbc
@purefunctor
Make more types use interned names
20ed392
@purefunctor
Add parsing for data members in export list
eb93db6
@purefunctor
Add import and export checks for data
e73d46f
@purefunctor
Collect imported nominal maps in advance
ef25055
@purefunctor purefunctor merged commit 6ff632d into main Jan 14, 2024
4 checks passed
@purefunctor purefunctor deleted the more-inference branch January 14, 2024 04:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

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