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

Skip to content

Merge conditionals branch into main #7

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 87 commits into from
Jul 1, 2023
Merged

Merge conditionals branch into main #7

jbarrmetro merged 87 commits into from
Jul 1, 2023

Conversation

@jbarrmetro
Copy link
Collaborator

@jbarrmetro jbarrmetro commented Jun 29, 2023 •
edited
Loading

  • if/else
  • when (imperative, evaluates to nil)
  • cond desugars to multiple ifs
  • and, or logical expressions
  • make not and typeof unary operations that type, but desugar to call expressions
  • make equal? and not-equal? binary operations that type, but desugar to call expressions
  • type narrowing
  • use typechecker isTruthy and isFalsy functions
  • ability to output compiled file and bundle
  • ability to run file from command line
  • ability to interactively load script files in REPL as definitions

jbarrmetro added 30 commits June 29, 2023 15:53
@jbarrmetro
Make sure there's a return type before passing it into isUndefined
087cbad
@jbarrmetro
Construct new AST nodes
04c7f84
@jbarrmetro
Add new node types to AST type union
2f3dfbb
@jbarrmetro
Parse IfExpression nodes
62f735c
@jbarrmetro
Fix typedef
647e70b
@jbarrmetro
Parse Cond expressions
6db7510
@jbarrmetro
Parse when expressions
a41547f
@jbarrmetro
Default visitor methods for if, cond, and when expressions
4a1a796
@jbarrmetro
First attempt at desugaring Cond node
0ef4167
@jbarrmetro
Parse logical expressions
e31ecc6
@jbarrmetro
Parse unary operations
d07ac7d
@jbarrmetro
Default visitors for logical and unary expression nodes
972c1a1
@jbarrmetro
Desugar UnaryExpression into CallExpression
ce87328
@jbarrmetro
Throw error if cond expression doesn't have at least 2 clauses
a93edd4
@jbarrmetro
Remove redundant recursive case
4b23bac
@jbarrmetro
print and println return nil
78119e8
@jbarrmetro
Add print-str function
5aa6052
@jbarrmetro
Don't need print-str function
9e19d63
@jbarrmetro
Add not type with constructor and validator
a7f8e47
@jbarrmetro
Make not constructor a function
795b2fc
@jbarrmetro
Add truthy and falsy constant types, add types and isTruthy/Falsy pre…
2876bb7 
…dicates to Type module
@jbarrmetro
Narrow unary and logical expressions
5d4a003
@jbarrmetro
Parse binary expressions
e5d5d24
@jbarrmetro
Add not-equal? function to lib
e267c66
@jbarrmetro
Default visitor for BinaryExpression
67a7e33
@jbarrmetro
Desugar BinaryExpression node into CallExpression for emitter
5ed5bb0
@jbarrmetro
Implement narrowing functions
2d6ed51
@jbarrmetro
Stub infer functions and add cases to switch
5905a1d
@jbarrmetro
Add 2-arg variant of map
4a36e8e
@jbarrmetro
Inference for binary expressions
868fe2a
jbarrmetro added 28 commits June 30, 2023 22:30
@jbarrmetro
Log error message instead of throwing exception
0a02e98
@jbarrmetro
In this case order of defining the function actually matters
31dcf86
@jbarrmetro
Get dot out of module name
53fb5f6
@jbarrmetro
Use console.log and process.exit instead of throwing exception
9d000b1
@jbarrmetro
Return repl() even though it's void
817a733
@jbarrmetro
Add ability to turn off printing the AST from inside the REPL
5890167
@jbarrmetro
Remove unused import
e72b4d9
@jbarrmetro
Remove repitition
f27b02c
@jbarrmetro
Refactor wandac code to own function in CLI
7d6a9a1
@jbarrmetro
Fix bug causing Symbol AST node to be hashed instead of string Symbol…
4702fc2 
… name
@jbarrmetro
Set function to undefined in TypeChecker if it's about to be inferred…
b23a0cf 
… on the first pass
@jbarrmetro
Only check a function declaration on 2nd pass through type checker
3edf2c7
@jbarrmetro
Add fib example
65f6708
@jbarrmetro
Add note
52eedf3
@jbarrmetro
Append note
b9799fd
@jbarrmetro
Print IfExpression and CondExpression AST nodes
1ae8d0e
@jbarrmetro
Print when expression node
78bdf74
@jbarrmetro
Print unary, binary, and logical expression nodes
609a2fe
@jbarrmetro
Remove typeof from unary expressions as it is of no benefit to includ…
f7a17f4 
…e it
@jbarrmetro
Narrow in checking a when expression
57f2f64
@jbarrmetro
We removed typeof from unary operations
b462af0
@jbarrmetro
Not using typeof as unary expression
351a711
@jbarrmetro
No longer need the function
a7de868
@jbarrmetro
Add tuple case to narrowType
816a3ef
@jbarrmetro
Add note
21288f4
@jbarrmetro
Don't forget to check the test of when expression
9675398
@jbarrmetro
Make path an empty string by default
0ef3bce
@jbarrmetro
REmove unused import
0ceee53
@jbarrmetro jbarrmetro merged commit 1dfeaa0 into main Jul 1, 2023
@jbarrmetro jbarrmetro deleted the conditionals branch July 1, 2023 22:51
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