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

Parsing and type-checking generics #671

Open
wants to merge 39 commits into
base: master
Choose a base branch
from
Open

Parsing and type-checking generics #671

wants to merge 39 commits into from

Commits on Apr 23, 2023

  1. add support for parsing generic types and functions

    @koflin
    koflin committed Apr 23, 2023
    Configuration menu
    Copy the full SHA
    72adaf1 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2023

  1. add support for parsing generic types and functions

    @koflin
    koflin committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    caea3b6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'generics' of https://github.com/koflin/gobra into generics

    @koflin
    koflin committed Apr 24, 2023
    Configuration menu
    Copy the full SHA
    4f5555b View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

  1. modified parse tree translator 

    - generated gobra parser code
- added Ast nodes for type parameters and type arguments
- modified parse tree translator
    @koflin
    koflin committed May 2, 2023
    Configuration menu
    Copy the full SHA
    a90ed72 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. changed typeArgument rule to index instead 

    - modified parser and parse tree translator accordingly
- implemented ambiguity resolution for indexed expression (normal index expression or type arguments)
    @koflin
    koflin committed May 8, 2023
    Configuration menu
    Copy the full SHA
    2917a1a View commit details
    Browse the repository at this point in the history

  2. fix a few things such that compilation can succeed

    @koflin
    koflin committed May 8, 2023
    Configuration menu
    Copy the full SHA
    b1f7878 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. add some tests for generics 

    - add tests
- fix some issues in the parse tree translator and the pretty printer
    @koflin
    koflin committed May 15, 2023
    Configuration menu
    Copy the full SHA
    864e185 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. started expression typing

    @koflin
    koflin committed May 17, 2023
    Configuration menu
    Copy the full SHA
    f822f7f View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. expression typing of generic function instantiation working

    @koflin
    koflin committed May 24, 2023
    Configuration menu
    Copy the full SHA
    e8c0846 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2023

  1. implement parse tree translator for instantiated generic types

    @koflin
    koflin committed May 29, 2023
    Configuration menu
    Copy the full SHA
    e9c0878 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. implement typing of generic types

    @koflin
    koflin committed May 30, 2023
    Configuration menu
    Copy the full SHA
    6b10b39 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. add first prototype of assignability

    @koflin
    koflin committed May 31, 2023
    Configuration menu
    Copy the full SHA
    7971b35 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. implement assignability with type parameters

    @koflin
    koflin committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    1159896 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. changed type constraint to be an interface

    @koflin
    koflin committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    ca0c310 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. handle expression typing of integer constants properly

    @koflin
    koflin committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    c0b00aa View commit details
    Browse the repository at this point in the history

  2. embed non interface type constraints into interfaces

    @koflin
    koflin committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    4253b7e View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. implemented satisfiability, comparability, identity, type merging and… 

    … underlying type of type parameters
    @koflin
    koflin committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    4139ed6 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. implement generic type instantiation with PIndexedExp

    @koflin
    koflin committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    4aa1b02 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. add fact test

    @koflin
    koflin committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    04836b0 View commit details
    Browse the repository at this point in the history

  2. implement simple Go type inference

    @koflin
    koflin committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    162b257 View commit details
    Browse the repository at this point in the history

  3. adjust GhostErasureUnitTest

    @koflin
    koflin committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    b00f8fb View commit details
    Browse the repository at this point in the history

  4. Trigger CI/CD

    @koflin
    koflin authored Jun 22, 2023
    Configuration menu
    Copy the full SHA
    1ed090d View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. [skip ci] remove lost line

    @koflin
    koflin committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    1ed4471 View commit details
    Browse the repository at this point in the history

  2. fix bug introduced in ghost assignability

    @koflin
    koflin committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    9e21e21 View commit details
    Browse the repository at this point in the history

  3. fix printing of types

    @koflin
    koflin committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    26e627c View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. fix type inference

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    30fe086 View commit details
    Browse the repository at this point in the history

  2. Add type parameters to the desugar

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    ee2cf0a View commit details
    Browse the repository at this point in the history

  3. added some tests from master

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    d9f6eed View commit details
    Browse the repository at this point in the history

  4. remove change to be consistent with master

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    3725a9b View commit details
    Browse the repository at this point in the history

  5. Revert "remove change to be consistent with master" 

    This reverts commit 3725a9b.
    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    d0fd09a View commit details
    Browse the repository at this point in the history

  6. clean up some stuff

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    91da1d2 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'generics-before-merge' into generics-merged

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    79dd96f View commit details
    Browse the repository at this point in the history

  8. regenerate parser after merge

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    a13e324 View commit details
    Browse the repository at this point in the history

  9. add dependency

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    ecfd59e View commit details
    Browse the repository at this point in the history

  10. adapted member typing unit test

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    4bf94a5 View commit details
    Browse the repository at this point in the history

  11. fix type parameter inference and refactor

    @koflin
    koflin committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    fc874a6 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. make parameterizable stateless

    @koflin
    koflin committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    aa375f8 View commit details
    Browse the repository at this point in the history

  2. unapplied type args

    @koflin
    koflin committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    f537564 View commit details
    Browse the repository at this point in the history

  3. document type set, underlying type and rename syntaxImplements

    @koflin
    koflin committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    b11a8d8 View commit details
    Browse the repository at this point in the history