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

Fix/refine #82

Merged
merged 69 commits into from
Aug 22, 2024
Merged

Fix/refine #82

merged 69 commits into from
Aug 22, 2024

Conversation

B04902047
Copy link
Collaborator

No description provided.

Vince and others added 30 commits February 27, 2024 18:40
feat(Handler2.AutoCompletion): add digHole
7102674
fix(Server.Handler2.Reload): add missing imports
9832569
fix(Server.Handler2): use old AutoCompletion
cd2c0eb
fix(Server.Handler2.CustomMethod): change parse type from Request to …
3c51d7d 
…[Request]
@B04902047
fix to compile
0678493
@B04902047
refactor server
b356881
@B04902047
split reload from guabao to guabao/reload
92f24d6
@B04902047
add guabao/refine
a646f27
@B04902047
merge with Typed.hs
4bc08a3
@B04902047
fix hover and goToDefinition
f3aceca
@B04902047
implement key function parseFragment for refine
07655b6
@B04902047
add helping toAbstractFragment and typeCheckFragment to guabao/refine
1a0d725
@B04902047
refactor(Refine.hs)
48a1a62
@B04902047
Merge branch 'master' of https://github.com/scmlab/gcl into feat/Posi…
6ca4835 
…tionMapping
@B04902047
fix hole to compile
d0817ef
@B04902047
fix refine
6331967
@B04902047
add hover handler to handlers
e074ea6
@B04902047
client to server notification define customized toJSON
8d682cd
@B04902047
add refine TODO comment
bc22461
@AndyShiue
Add TypeEnv for Spec & take TypeEnv into account while elaborat…
3293f77 
…ing.
@B04902047
bind refine handler to the list of handlers
a4d1e15
@B04902047
Merge pull request #76 from scmlab/tmp
8642298
@B04902047
first commits
1031dac
@B04902047
Merge branch 'feat/PositionMapping' of https://github.com/scmlab/gcl …
c571909 
…into feat/PositionMapping
@scmu
[refactor] Changed names for data in Syntax.Typed.
5a8eca6
@B04902047
Merge pull request #77 from scmlab/feat/TypedNameChange
52a3500 
[refactor] Changed names for data in Syntax.Typed.
@B04902047
first commits
05f994c
@B04902047
Merge branch 'feat/PositionMapping' of https://github.com/scmlab/gcl …
5e4ea27 
…into feat/PositionMapping
@scmu
[new] Location and Operators for Syntax.Typed.
faf30b6
@scmu
[refactor] rename: GCL.WP.Type -> GCL.WP.Types
0d3991f
scmu and others added 29 commits August 1, 2024 21:23
@scmu
[new] Variableous and Substitutable for Syntax.Typed. In progress.
8e199c5
@scmu
[fix] import GCL.WP.Types in some files.
d9a71ca
@scmu
[new] sweepFragment in Server.Handler.Gaubao.Refine now type checks a…
8bd9694 
…t least.
@scmu
[fix] missing cases, import the right module, etc.
b93ca2a
@B04902047
fix reload and refine with new sweep on elaborated
dd847d0
@B04902047
fix load with question mark
c0c00ad
@scmu
Merge pull request #78 from scmlab/feat/TypedWP-fix
626e112 
fix reload and refine with new sweep on elaborated
@scmu
[fix] sweepFragment now passes counter.
12f7136
@B04902047
Merge branch 'feat/TypedWP' of https://github.com/scmlab/gcl into fea…
e079bd3 
…t/PositionMapping
@B04902047
fixing refine
2e1c5a1
@B04902047
fixing refine
cd085c7
@B04902047
fixing refine
f0b15e2
@B04902047
fixed refine: spec with multiple columns
afee703
@B04902047
fixing refine
44111c2
@AndyShiue
Fix a bug due to abusing the state variable.
68750a6
@AndyShiue
Derive Generic for TypeInfo
237f050
@B04902047
Merge pull request #79 from scmlab/for_vince
9a84cba 
Fix a bug due to abusing the state variable.
@B04902047
initial commits
4b59759
@B04902047
Merge branch 'feat/PositionMapping' of https://github.com/scmlab/gcl …
b110072 
…into feat/PositionMapping
@B04902047
initial commits
d443b8d
@AndyShiue
Fix the bug that decls and defns are ignored.
67501c0
@B04902047
Merge pull request #80 from scmlab/for_vince
625354e 
Fix the bug that decls and defns are ignored.
@B04902047
split update notification to 2 notifications: update and error
5dfd6da
@B04902047
Merge branch 'feat/PositionMapping' of https://github.com/scmlab/gcl …
00dd3e3 
…into feat/PositionMapping
@B04902047
fix position encodings
92924b3
@B04902047
fixing
5fbb7ae
@B04902047
fixing refine
5086c86
@scmu
fixing refine a bit more
d97e7f8
@B04902047
style
46ef7b4
@B04902047 B04902047 merged commit 9d5afa9 into master Aug 22, 2024
0 of 6 checks passed
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
@B04902047 @AndyShiue @scmu