abeln dotty issues - Githubissues

abeln / dotty

Scala with explicit nulls

https://github.com/abeln/dotty/wiki/scala-with-explicit-nulls

Other

23 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix typos and merge upstream

#51 noti0na1 closed 4 years ago
0
Update comments

#50 noti0na1 closed 4 years ago
0
Add predicate to check out of order for mutable variables

#49 noti0na1 closed 4 years ago
0
Merge upstream Dotty master

#48 noti0na1 closed 4 years ago
0
Implement flow typing using nullability check; Update documents

#47 noti0na1 closed 4 years ago
0
Disallow comparison between Object and Null

#46 noti0na1 closed 4 years ago
0
Fix normalizing nullable intersection type

#45 noti0na1 closed 4 years ago
0
Merge Nullability Analysis; Changes according to #7546

#44 noti0na1 closed 4 years ago
2
Remove flow typing from main branch

#43 noti0na1 closed 5 years ago
1
Merge Upstream on Migration Branch

#42 noti0na1 closed 5 years ago
0
Change the way of creating ClassSymbol

#41 noti0na1 closed 5 years ago
1
Fix Null in Xml Builder

#40 noti0na1 closed 5 years ago
0
Merge Upstream on Migration Branch

#39 noti0na1 closed 5 years ago
1
Merge Changes from Dotty Upstream

#38 noti0na1 closed 5 years ago
0
Fix nullification of type arguments

#37 noti0na1 closed 5 years ago
0
Merge PR Branch to Migration Branch

#36 noti0na1 closed 5 years ago
10
Merge Changes from Dotty Upstream

#35 noti0na1 closed 5 years ago
0
Merge Changes from Dotty Upstream

#34 noti0na1 closed 5 years ago
0
Detect NotNull Annotations for Java Methods

#33 noti0na1 closed 5 years ago
4
Revert Change about throwMethod; Clean up if-else

#32 noti0na1 closed 5 years ago
1
Merge Changes from Dotty Upstream

#31 noti0na1 closed 5 years ago
0
Throw null is not allowed; Small changes to the code style

#30 noti0na1 closed 5 years ago
1
Inline Nullify Policies in JavaNullInterop

#29 noti0na1 closed 5 years ago
6
Improve Methods in NullOpsDecorator

#28 noti0na1 closed 5 years ago
4
Changes according to Martin's comments

#27 noti0na1 closed 5 years ago
1
Remove ValDefInBlockCompleter

#26 noti0na1 closed 5 years ago
4
Rebase onto latest upstream

#25 noti0na1 closed 5 years ago
0
Inaccurate warning in pattern matcher

#24 abeln opened 5 years ago
0
Warn when pattern matching against non-nullable array

#23 abeln opened 5 years ago
0
Can't call generic method with array of value type

#22 abeln opened 5 years ago
1
Rb tree test

#21 changangela closed 5 years ago
1
Recognize @NonNull annotation

#20 abeln opened 5 years ago
0
Modified test

#19 petrpan26 closed 5 years ago
0
Liftable instances for Nullable types

#18 abeln opened 5 years ago
0
Binary compatibility for null via tasty

#17 abeln closed 5 years ago
2
Test failure: tests/run/returning.scala

#16 abeln opened 5 years ago
2
JavaNull not propagated by type inference as anonymous function argument

#15 abeln opened 5 years ago
1
Changes to realizability once we have a type system that tracks nullability

#14 abeln opened 5 years ago
0
Make functional interfaces play well with nullability

#13 abeln closed 5 years ago
1
Ignore nullability during override checks

#12 abeln closed 5 years ago
2
Stripping away nullability via pattern matching

#11 abeln opened 6 years ago
0
runtime dynamic proxies

#10 dsilvasc closed 5 years ago
1
subclassing outside of Scala

#9 dsilvasc closed 5 years ago
1
Use Checkers Framework annotations for common libraries

#8 abeln opened 6 years ago
1
Flow-sensitive type inference

#7 abeln opened 6 years ago
9
Treatment of uninitialized vars

#6 abeln closed 5 years ago
9
Add dynamic check for some toString() invocations

#5 abeln closed 5 years ago
1
Make compiler test suite pass with nullability changes

#4 abeln opened 6 years ago
0
Don't widen `T|JavaNull`

#3 abeln closed 6 years ago
4
Bootstrap the compiler with the nullable type system

#2 abeln opened 6 years ago
0