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

Improve typemaker inference #1751

Closed
wants to merge 100 commits into from
Closed

Improve typemaker inference #1751

wants to merge 100 commits into from

Conversation

out-of-phaze
Copy link
Contributor

Requires #1705.

ike709 and others added 30 commits March 1, 2024 21:09
Parse proc return types
f5fa78e
arg
481d676
Typemaker
01ec769
fixes + some tests
2f406fa
error msg cleanup
bec4923
more work
5f05e60
tweak
976ae16
add types to _Standard.dm
14dd0f3
always path
52bf34b
Path tests
f4723f6
@ike709
Merge branch 'master' into typemaker
465f562
improve error message
06d6a4f
obj deref test
63032dc
test fix
13f842b
msg tweak
5044881
audit some DMExpressions
084c3ed
@ike709
Merge branch 'master' into typemaker
f8350d2
@ike709 @wixoaGit
Update DMCompiler/DM/Expressions/Builtins.cs
eea20e8 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DMStandard/_Standard.dm
da0cd42 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DMStandard/_Standard.dm
f7b0f05 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DMStandard/_Standard.dm
c4a9726 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/Expressions/Procs.cs
7d50e1d 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/Expressions/Procs.cs
7ee4647 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMExpression.cs
5a16107 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMExpression.cs
ba81876 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMObject.cs
2c5e00b 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMObject.cs
ca0deed 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMProc.cs
7e3539f 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMProc.cs
c17f3e1 
Co-authored-by: wixoa <wixoag@gmail.com>
@ike709 @wixoaGit
Update DMCompiler/DM/DMProc.cs
96514e6 
Co-authored-by: wixoa <wixoag@gmail.com>
out-of-phaze and others added 22 commits April 5, 2024 23:03
@out-of-phaze
Expose 'as path' to DM
457a265
@out-of-phaze
Implement as path for non-procs
faafdf0
@out-of-phaze
Add additional type hints to DMStandard
91632ac
@ike709
Merge pull request OpenDreamProject#8 from out-of-phaze/typemaker/fixes
9b2e028 
Fix inference issues in TypeMaker, expose as path, implement paths for non-procs
@ike709 @wixoaGit
Update DMCompiler/DMStandard/_Standard.dm
7832573 
Co-authored-by: wixoa <wixoag@gmail.com>
arg handling
01b7648
@wixoaGit
Merge remote-tracking branch 'upstream/master' into fork/typemaker
7224fee 
# Conflicts:
#	DMCompiler/Compiler/DM/DMParser.cs
#	DMCompiler/DM/Builders/DMProcBuilder.cs
#	DMCompiler/DM/Expressions/Procs.cs
@wixoaGit
Fix some merge issues
78a9b91
@out-of-phaze
Mark Not expression as returning Num
d9170bb
@out-of-phaze
Improve proc return type handling
ce435a1
@out-of-phaze
Set GetStep return type
11a9f3d
@out-of-phaze
Improve Or and And return type inference
cd57eae
@out-of-phaze
Improve assignment type inference
b72e13c
@out-of-phaze
Dramatically improve dereference type inference
29c2ce9
@out-of-phaze
Expand type annotations in DMStandard
bf6d606
@out-of-phaze
Fix VarPath for variables
5836907
@out-of-phaze
Fix New type inference
0647b46
@out-of-phaze
Fix dereference type inference as thoroughly as possible
4b7fdd0
@out-of-phaze
Add basic message->text type coercion
1896767
@out-of-phaze
Make returntype checking more accurate
4cc6648
@out-of-phaze
Revert some DMstandard type annotations
3ab6b94
@out-of-phaze
Fix dereference proc call type inference
f600acf
@github-actions GitHub Actions
Copy link

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@wixoaGit wixoaGit closed this Jul 1, 2024
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
Merge Conflict size/XXL
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@out-of-phaze @wixoaGit @ike709