Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Merge types branch into main #6

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
Merged
jbarrmetro merged 121 commits into from
Jun 29, 2023
Merged

Merge types branch into main #6

jbarrmetro merged 121 commits into from
Jun 29, 2023

Conversation

@jbarrmetro
Copy link
Collaborator

@jbarrmetro jbarrmetro commented Jun 20, 2023 •
edited
Loading

  • Constant declarations (via def)
  • Constants are just for type checker
  • def constant form desugars to var
  • Singleton types
  • Tuple types
  • Union types
  • Intersection types
  • :as type expressions

@jbarrmetro jbarrmetro changed the title Add optional name property to makeFunction options Merge types branch into main Jun 20, 2023
jbarrmetro added 20 commits June 20, 2023 11:48
@jbarrmetro
Add type and node constructor for ConstantDeclaration
03b4e92
@jbarrmetro
Add constant property to object types
fa1d104
@jbarrmetro
Create type, constructor, and validator for singleton type
d22a970
@jbarrmetro
Parse singleton type annotations
1e31306
@jbarrmetro
Construct a singleton type from a type annotation
ffb214a
@jbarrmetro
Use strings instead of types for singleton base
110bbe1
@jbarrmetro
Stringify type annotation on error
590a549
@jbarrmetro
Stringify types
e676f8d
@jbarrmetro
Infer singleton types
ce97919
@jbarrmetro
Add constant param to inference functions, check at compile time for …
9c4ef89 
…if truthiness is known
@jbarrmetro
Get alias bases in case of function and object type aliases
f6f31c4
@jbarrmetro
Subtype singleton types
12eebbf
@jbarrmetro
Type check constant declarations and forbid setting values for constants
8b44f3f
@jbarrmetro
Desugar constant declarations
1819b9d
@jbarrmetro
Fix broken import
b70fbbb
@jbarrmetro
Add checkConstantDeclaration to switch case
6637d71
@jbarrmetro
Add ConstantDeclaration to switch case in infer
bb4ea79
@jbarrmetro
Print ConstantDeclaration AST node
4e70bfe
@jbarrmetro
Parse union and intersection types
ffe776e
@jbarrmetro
Add Union and Never types
ff16cf9
jbarrmetro added 28 commits June 22, 2023 11:52
@jbarrmetro
Using :as expression turns checking on
3d7a1fe
@jbarrmetro
Use metafield function for dict property for Exception
f695d68
@jbarrmetro
Configure wandaStack property on exception class
bf5a018
@jbarrmetro
Don't reverse stack when dumping
307e426
@jbarrmetro
Use frame type for frames
09e010d
@jbarrmetro
Use metafield for stack
89f65de
@jbarrmetro
Propagate checkingOn to extended environments
ef2d54d
@jbarrmetro
Types always unify now, even if it's to unknown
daa861a
@jbarrmetro
Fix append for vectors
abb0c07
@jbarrmetro
Name function back to what it was before
ee37dcb
@jbarrmetro
Add check for singleton to main check function
f2c5b51
@jbarrmetro
Fix variable declaration node after type checking
7361678
@jbarrmetro
Fix the fix
c8a4853
@jbarrmetro
Check for singleton type in set expression
fab3dd0
@jbarrmetro
Add note
ba178d9
@jbarrmetro
Expect method can take string arguments
6d0ef5b
@jbarrmetro
Give correct error message when variable is singleton type and reassi…
a6444b1 
…gned value is different
@jbarrmetro
Fix error message for singleton type and reassignment
f541f03
@jbarrmetro
Don't need to export anymore
3ade2bf
@jbarrmetro
Check for symbols with singleton types in object literal checking
9fd3501
@jbarrmetro
Check for singleton types of symbols
3ce9079
@jbarrmetro
Don't think I actually need those Symbol checks
f905f29
@jbarrmetro
Docblock
2dcf688
@jbarrmetro
Remove redundant alias
490bf17
@jbarrmetro
Don't forget visitor for AsExpression node
c64f060
@jbarrmetro
Fix docblock
7dc5123
@jbarrmetro
Make sure printing list correctly prints improper list with . in last…
5fced8d 
… pair
@jbarrmetro
Add note
e1ddefe
@jbarrmetro jbarrmetro merged commit e3ea5ef into main Jun 29, 2023
@jbarrmetro jbarrmetro deleted the types branch June 29, 2023 20:28
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.

2 participants

@jbarrmetro