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

Candy V4: The Beginnings (again) (again) (again) (again) #1057

Merged
merged 108 commits into from
Oct 31, 2024
Merged

Candy V4: The Beginnings (again) (again) (again) (again) #1057

merged 108 commits into from
Oct 31, 2024

Conversation

JonasWanke
Copy link
Member

Checklist

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

JonasWanke added 30 commits June 14, 2024 18:49
@JonasWanke
Create compiler v3
b09348b
@JonasWanke
Add parser
5555e41
@JonasWanke
Use underscore i/o space in directory name
73c296d
@JonasWanke
Make parameter type optional in parser
d128baf
@JonasWanke
Simplify let parsing
4678f5e
@JonasWanke
Extend example
fe35107
@JonasWanke
Change parser to product typed AST directly
eacee34
@JonasWanke
Print check duration
4204165
@JonasWanke
Use Box<str> in AstString, AstTextPart::Text
60f8d75
@JonasWanke
Fix linter complaints
a0eacf2
@JonasWanke
Change AST to Vec<AstAssignment>
f9452ca
@JonasWanke
Make AstString, AstResult more convenient
fb7fa0e
@JonasWanke
Lower AST to HIR
a022687
@JonasWanke
Check for duplicate global names
3208a2d
@JonasWanke
Compile to C
03f10a1
@JonasWanke
Add GCC
f2c1db8
@JonasWanke
Compile main function
4d7b984
@JonasWanke
Add builtin functions; use IDs for references
c3a3e77
@JonasWanke
Call gcc and clang-format
554c5e4
@JonasWanke
Fix C warnings
c847b8e
@JonasWanke
Add intAdd(…)
1cbb0ee
@JonasWanke
Support simple type annotations
05112ef
@JonasWanke
Store incomplete definitions during lowering
b4550ce
@JonasWanke
Catalog assignments before lowering them
be84972
@JonasWanke
Catalog all assignments with name before resolving it
5065efd
@JonasWanke
Ignore compilation outputs
86c43b7
@JonasWanke
Add context type while lowering
de421dc
@JonasWanke
Generate declarations and definitions separately
0439e0b
@JonasWanke
Lower type definitions
300248d
@JonasWanke
Fix some linter complaints
dd8976e
JonasWanke and others added 26 commits October 11, 2024 11:47
@JonasWanke
Expand example.candy, add minimal.candy
1668843
@JonasWanke
Add hir::Result to simplify Trait
8b35c07
@JonasWanke
Remove unnecessary Box
6e6515b
@JonasWanke
Remove error support from SolverVariable
010e525
@JonasWanke
Improve error message
90316cd
@JonasWanke
Define builtin types in Candy itself
cae50b0
@JonasWanke
Rename Context::is_assignable_to(…) to type.equals_lenient(…)
9835ebc
@JonasWanke
Support Self type in type.equals_lenient(…)
eba5984
@JonasWanke
Add NamedType::new(…), ParameterType::new(…)
99b4fc8
@JonasWanke
Add builtin Array, builtinArrayFilled(…)
0d71ff2
@JonasWanke @MarcelGarus
Fix function calling with parameter types
9b0deeb 
Co-Authored-By: Marcel Garus <[email protected]>
@JonasWanke @MarcelGarus
Debug print HIR before exiting on errors
17ff3e4 
Co-Authored-By: Marcel Garus <[email protected]>
@JonasWanke @MarcelGarus
Add missing trailing comma
b9b7bd9 
Co-Authored-By: Marcel Garus <[email protected]>
@JonasWanke
Add builtinArrayFilled(…) implementation
869ca8c
@JonasWanke @MarcelGarus
Add builtinArrayLength(…)
c56a561 
Co-Authored-By: Marcel Garus <[email protected]>
@JonasWanke @MarcelGarus
Fix unification of type parameters
21f7944 
Co-Authored-By: Marcel Garus <[email protected]>
@JonasWanke
Resolve parent functions for impl functions
0b54144
@JonasWanke
Fix impl function compilation
19262bc
@JonasWanke
Remove debug prints
74877e1
@JonasWanke
Fix builtin function references
e40be4a
@JonasWanke
impl Text: ToText
73a0a95
@JonasWanke
Add comparison functions
834b013
@JonasWanke
Rename TypeSolver to TypeUnifier
3cc75b8
@JonasWanke
Delete unused code
f8aabb9
@JonasWanke
Remove environment printing
2d68a4f
@JonasWanke
Show spans for expression errors
a3dd3c6
@JonasWanke JonasWanke added the T: Feature Type: New Features label Oct 31, 2024
@JonasWanke JonasWanke self-assigned this Oct 31, 2024
@JonasWanke JonasWanke merged commit 0dcdc23 into main Oct 31, 2024
6 of 10 checks passed
@JonasWanke JonasWanke deleted the candy-v4 branch October 31, 2024 10:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@JonasWanke JonasWanke

Labels
T: Feature Type: New Features
Projects
🍭 Candy
Status: Done
Milestone
No milestone
Development

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