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

Specify null safety #2605

Open
wants to merge 85 commits into
base: main
Choose a base branch
from
Open

Specify null safety #2605

wants to merge 85 commits into from

Commits on Oct 11, 2024

  1. Rebasing

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    0b550b3 View commit details
    Browse the repository at this point in the history

  2. Typos: Escaping braces meant to be code

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    ef17572 View commit details
    Browse the repository at this point in the history

  3. Eliminated text about migration features, adapted the remaining text … 

    …to preserve the meaning for all null-safety features
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    f3faf0c View commit details
    Browse the repository at this point in the history

  4. Rebasing

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    9ce0da1 View commit details
    Browse the repository at this point in the history

  5. Reorganized material on null/Null

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    3cd7774 View commit details
    Browse the repository at this point in the history

  6. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    1485551 View commit details
    Browse the repository at this point in the history

  7. Rebasing

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    86c5b2a View commit details
    Browse the repository at this point in the history

  8. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5c53b76 View commit details
    Browse the repository at this point in the history

  9. WIP

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    6f87b6b View commit details
    Browse the repository at this point in the history

  10. Corrected last part of section Variables

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    b1c3e3d View commit details
    Browse the repository at this point in the history

  11. Did expression typing, spread element, i2b

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    97308b5 View commit details
    Browse the repository at this point in the history

  12. Super-bounded types, least and greatest closure

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    144a38d View commit details
    Browse the repository at this point in the history

  13. Assignability, generics

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    80cef19 View commit details
    Browse the repository at this point in the history

  14. Extreme types

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    a5aa267 View commit details
    Browse the repository at this point in the history

  15. Extreme types, helper functions

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4c706bd View commit details
    Browse the repository at this point in the history

  16. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    29c41cd View commit details
    Browse the repository at this point in the history

  17. .call insertion on nullable type; clean up BlindDefineSymbol

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    a70cae7 View commit details
    Browse the repository at this point in the history

  18. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    53d080b View commit details
    Browse the repository at this point in the history

  19. Main

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d539aea View commit details
    Browse the repository at this point in the history

  20. Type Type

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    1f120dc View commit details
    Browse the repository at this point in the history

  21. Type Type fixes

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    ed17e84 View commit details
    Browse the repository at this point in the history

  22. More typeType fixes

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    8032109 View commit details
    Browse the repository at this point in the history

  23. Constant instances (in particular: about canonical instances)

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    82338a3 View commit details
    Browse the repository at this point in the history

  24. Corrected variable initialization specification ("has been stored" ra… 

    …ther than "first execution of getter/setter")
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    358edf0 View commit details
    Browse the repository at this point in the history

  25. Small adjustments to Variables

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    f30b8ce View commit details
    Browse the repository at this point in the history

  26. Rebase 

    Update 'Identifier Expression' with respect to local variables.
Add new sections on type inference, flow analysis, definite
assignment, promotion. Change variable terminology to say
'bound to' consistently (not 'store'). Update 'Local Variable
Declaration'. Update 'Assignment' with respect to local
variables.
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    02f09c3 View commit details
    Browse the repository at this point in the history

  27. Boolean conversion; type test; made true/false terminology consistent… 

    … with `Object` terminology
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    61e41a3 View commit details
    Browse the repository at this point in the history

  28. Constant types; type variable elimination in constants

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d6cf23d View commit details
    Browse the repository at this point in the history

  29. Conditional expression; operators && and ||; if statements; delete … 

    …old section about promotion
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    32de047 View commit details
    Browse the repository at this point in the history

  30. Integrate Null Promotion; put v==null rules into Type Promotion, and … 

    …fill in enough commentary to make that section make sense
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5983ae2 View commit details
    Browse the repository at this point in the history

  31. Null shorting

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    aa29b9b View commit details
    Browse the repository at this point in the history

  32. Small fixes in section Null Shorting

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    8b283a9 View commit details
    Browse the repository at this point in the history

  33. Revisiting all occurrences of \NULL/Null/null

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d07437d View commit details
    Browse the repository at this point in the history

  34. Did much of Standard ... Bounds

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d21c33d View commit details
    Browse the repository at this point in the history

  35. Standard bounds

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    92cc098 View commit details
    Browse the repository at this point in the history

  36. Fixed the "SUB issues" section

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    3d0b266 View commit details
    Browse the repository at this point in the history

  37. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    755852e View commit details
    Browse the repository at this point in the history

  38. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    13c72de View commit details
    Browse the repository at this point in the history

  39. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d5ae815 View commit details
    Browse the repository at this point in the history

  40. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4e7e071 View commit details
    Browse the repository at this point in the history

  41. Rebase

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    76d285a View commit details
    Browse the repository at this point in the history

  42. Clarified and corrected Canonical Syntax

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d2e5e57 View commit details
    Browse the repository at this point in the history

  43. Fixed subsubsection --> subsection, 2*

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    b0f1c7f View commit details
    Browse the repository at this point in the history

  44. Typos

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    791157d View commit details
    Browse the repository at this point in the history

  45. Whitespace

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    7ff8644 View commit details
    Browse the repository at this point in the history

  46. Interface type fixes

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    c708d17 View commit details
    Browse the repository at this point in the history

  47. Sync with specify_null_safety_new_sections_dec21

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4c82d00 View commit details
    Browse the repository at this point in the history

  48. Mark a subtype rule as redundant, in a TODO comment

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    825de7c View commit details
    Browse the repository at this point in the history

  49. Adjust no-loops-in-noSuchMethod example

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    8df421c View commit details
    Browse the repository at this point in the history

  50. Adjust no-loops-in-noSuchMethod example

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    c0f36d8 View commit details
    Browse the repository at this point in the history

  51. Corrected function type subtype rule (bounds); corrected "math" index… 

    … entries
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    2e1e710 View commit details
    Browse the repository at this point in the history

  52. Adjust class building types

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    3d1e76b View commit details
    Browse the repository at this point in the history

  53. Adjust examples declaring non-nullable positional optional parameters… 

    … with no default
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    7ae0fc1 View commit details
    Browse the repository at this point in the history

  54. Add a TODO to introduce Any

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d3a16a9 View commit details
    Browse the repository at this point in the history

  55. Correct example in section about super-bounded types

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    e620f61 View commit details
    Browse the repository at this point in the history

  56. Correction based on #2679

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4405e2b View commit details
    Browse the repository at this point in the history

  57. Specify erasure of intersection types for the semantics of await expr… 

    …essions
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    cfc52d4 View commit details
    Browse the repository at this point in the history

  58. Typo

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    b19dc4c View commit details
    Browse the repository at this point in the history

  59. Introduce \DynamicError, marking all dynamic errors just like compile… 

    …-time errors have been for a while
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    022916b View commit details
    Browse the repository at this point in the history

  60. Changed the error margin markers to use red text

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    f21de18 View commit details
    Browse the repository at this point in the history

  61. Correct dynamic type of tear-off with covariant parameter

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    db0a8ac View commit details
    Browse the repository at this point in the history

  62. Clarified tear-offs of methods with covariant parameters

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    1508e4e View commit details
    Browse the repository at this point in the history

  63. Correct a typo about closurization

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4bf89e6 View commit details
    Browse the repository at this point in the history

  64. Correction: Add definition of normalizedType/topMergeType for member … 

    …signatures
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    ea17e17 View commit details
    Browse the repository at this point in the history

  65. Correction: Update dynamic type of covariant parameter to Object?

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    00391ca View commit details
    Browse the repository at this point in the history

  66. Typo

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    3cee2c7 View commit details
    Browse the repository at this point in the history

  67. Add commentary to emphasize that new/const can be implicit, and `… 

    …new/const C<T>()` is still an error when `C<T>` is super-bounded
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    41c4940 View commit details
    Browse the repository at this point in the history

  68. Add missing updates in section typeVoid

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    e9c2ef6 View commit details
    Browse the repository at this point in the history

  69. Add missing error: default values must be type correct

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    f7dbe69 View commit details
    Browse the repository at this point in the history

  70. Add a paragraph explaining that the given section is about both optio… 

    …nal and named parameters, not just parameters that are both
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    028ab0e View commit details
    Browse the repository at this point in the history

  71. Post-rebase error correction

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    248780c View commit details
    Browse the repository at this point in the history

  72. Correct usages of "final variable" and "constant variable"

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4648a3c View commit details
    Browse the repository at this point in the history

  73. Add missing declaration kind about getter/setter type error

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    e5950a1 View commit details
    Browse the repository at this point in the history

  74. Remove obsolete reference to "mixin composition" from section Supercl… 

    …asses
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    b61f3a7 View commit details
    Browse the repository at this point in the history

  75. Add comment about default values of noSuchMethod forwarders being und… 

    …erspecified
    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    02fc771 View commit details
    Browse the repository at this point in the history

  76. Correct rule about the interface of T?

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    18e9f26 View commit details
    Browse the repository at this point in the history

  77. Correct rule about interfaces of bounded types

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    594c1b1 View commit details
    Browse the repository at this point in the history

  78. Corrected many occurrences of "string" to "string literal"

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    f25a150 View commit details
    Browse the repository at this point in the history

  79. Update the "parameter name _..." error

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    c3b8f68 View commit details
    Browse the repository at this point in the history

  80. Restore the index marker, define a command for it

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    98ebb69 View commit details
    Browse the repository at this point in the history

  81. Corrected the huge rebase operation (removed TODO material)

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    09eed53 View commit details
    Browse the repository at this point in the history

  82. Fix obsolete ref

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4ba6e14 View commit details
    Browse the repository at this point in the history

  83. Introduce <memberedDeclarationBody> and use it

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5cd1a44 View commit details
    Browse the repository at this point in the history

  84. Add change log entry

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    a98a51d View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. WIP

    @eernstg
    eernstg committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    bd6755e View commit details
    Browse the repository at this point in the history