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

Complete rewrite of the parser #84

Open
wants to merge 120 commits into
base: scala-2.13
Choose a base branch
from
Open

Complete rewrite of the parser #84

wants to merge 120 commits into from

Conversation

redelmann
Copy link
Member

No description provided.

@redelmann
Add HoleType, which indicates the type of values expected by a hole
a399596
@redelmann
Add an interpolator implemented with macros
fb2cb3a
@redelmann
Add implicit store argument to getDefinitions
b4a4941
@redelmann
Add HoleValues class
992bc06
@redelmann
Parse holes in function application position to identifier by default
38d9a9f 
To get an expression, use ($myFun)(arg1, arg2, arg3) instead of $myFun(arg1, arg2, arg3).
@redelmann
Add replaceHoles functions
5207dd8
@redelmann
Fix macros implementations
70c693b
@redelmann
Use replaceHoles to feed parameters of quasiquotes
267926f
@redelmann
Code quality and comment
0dd8c2d
@redelmann
Add macro extractor for types
bc2e3be 
Compared with the non-macro implementation, this one can statically provide the type of holes.
@redelmann
Refactoring
304b999
@redelmann
Use MacroInterpolator as the default interpolator
b04eb26
@redelmann
Handle implicit symbols
7ba44a7
@redelmann
Comment out the warning for using default
66b60de
@redelmann
Remove useless import
972da12
@redelmann
Rename interpolator-related classes and fix their hierarchy
6861e4b
@redelmann
Add unapply for expressions
ba8a399
@redelmann
Refactor
4ad9907
@redelmann
Add s to MacroInterpolator
d318c59
@redelmann
Add definition interpolators to the macro interpolator
dd8aef7
@redelmann
Add the concept of a Binding to the IRs
e3a0955
@redelmann
Add different constructors for bindings
dede1ca
@redelmann
Some fixes
96866dc
@redelmann
First draft
8e55f16
@redelmann
More work
9d3fa24
@redelmann
Simplify constrained.
4503a96
@redelmann
Refactor harder, structure looks better now
46ae7c2
@redelmann
Yet more refactoring
834e118
@redelmann
Refactor harder
a53fb38
@redelmann
Greatly simplify the types IR, use Store to resolve all names, even p…
944d23b 
…rimitives
redelmann and others added 27 commits November 23, 2018 10:49
@redelmann
Add test for if-expressions
55cc979
@redelmann
Add syntax for assume
2637294
@redelmann
Accept single argument without type to omit parentheses in lambda, fo…
afb59c0 
…rall, choose
@redelmann
Work on a new pretty printer
4d358f3
@redelmann
Add check that the fields have unique names in an ADT
2e9cfd8
@redelmann
Fix broken test
019c677
@redelmann
Add literal trait for IR expressions
80b1ca3
@redelmann
Make it possible to refer to earlier identifiers in sequences of bind…
8c7e0b7 
…ings
Added OneOf to inox solver
f92eed2
Added store changes which are prerequisite for the overloading
2e5b958
Added overloading, all previous tests pass
68f28af
Overloading before extensive testing
7b2a68e
Function overloading
9261ddb
Added comments for function name overloading
e442a40
Comments for solver
d0f01cd
Before adding examples to report
1e6df5b
Solved the problem with OneOf
d3a5d4d
Overloading should be done
f99ecbc
Fixed the OneOf
9ab927a
Fixed another bug
a7f26ee
Another change to solver
03cc038
Added more tests
c57f7ab
Fixed more bugs
987dc1d
One bug fixed
0f22471
Final for presentation
e8fbc4e
More general unification for pairs, coding style fixes
da2c7b5
@redelmann
Merge pull request #90 from OStevan/overloading
8441ed7 
Overloading
@samarion
Copy link
Member

Hey @redelmann, is there any progress on this? Is the rewrite in a mergeable state?

@redelmann
Copy link
Member Author

redelmann commented Oct 3, 2019 •
edited
Loading

Hey @samarion, I don't think it is. There might be issues with overloading. I will look at this when I have time!

@CLAassistant
Copy link

CLAassistant commented May 8, 2020 •
edited
Loading

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
1 out of 2 committers have signed the CLA.

✅ OStevan
❌ redelmann
You have signed the CLA already but the status is still pending? Let us recheck it.

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.
3 participants
@redelmann @samarion @CLAassistant