Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: User-TGK/SplComp
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: User-TGK/SplComp
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: improve-errors
Choose a head ref
  • 8 commits
  • 8 files changed
  • 2 contributors

Commits on Mar 16, 2022

  1. Start on Hindley-Milner

    @User-TGK
    User-TGK committed Mar 16, 2022
    Configuration menu
    Copy the full SHA
    ece4092 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2022

  1. Add basic constructs for typing

    @User-TGK
    User-TGK committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    ca69d20 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2022

  1. Continued working on type inference. Implements all building blocks f… 

    …or AlgorithmW as described in paper 10.1.1.65.7733
    @User-TGK
    User-TGK committed Apr 7, 2022
    Configuration menu
    Copy the full SHA
    98cd2ba View commit details
    Browse the repository at this point in the history

  2. Merges AST and tc/ti types

    @User-TGK
    User-TGK committed Apr 7, 2022
    Configuration menu
    Copy the full SHA
    3f7e09b View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2022

  1. Adds tc for bin int expressions and literals

    @User-TGK
    User-TGK committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    f33a23f View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2022

  1. Use VerboseError for parser errors and print trace

    @InputUsername
    InputUsername committed Apr 10, 2022
    Configuration menu
    Copy the full SHA
    a521ed0 View commit details
    Browse the repository at this point in the history

  2. Show error for expected tokens in if statement

    @InputUsername
    InputUsername committed Apr 10, 2022
    Configuration menu
    Copy the full SHA
    f35bb31 View commit details
    Browse the repository at this point in the history

  3. Add custom error type

    @InputUsername
    InputUsername committed Apr 10, 2022
    Configuration menu
    Copy the full SHA
    4d619b7 View commit details
    Browse the repository at this point in the history
Loading