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

Annotate ASTs with types at every node #991

Merged
merged 47 commits into from
Jan 25, 2023
Merged

Annotate ASTs with types at every node #991

merged 47 commits into from
Jan 25, 2023

Commits on Oct 11, 2022

  1. generalize Term and Syntax to take a type annotation parameter

    @byorgey
    byorgey committed Oct 11, 2022
    Configuration menu
    Copy the full SHA
    f4a5f0b View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2022

  1. formatting

    @byorgey
    byorgey committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    02bb655 View commit details
    Browse the repository at this point in the history

  2. WIP: make infer return annotated syntax instead of just a type

    @byorgey
    byorgey committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    b5491ef View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. WIP: more work on infer

    @byorgey
    byorgey committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    9fb4398 View commit details
    Browse the repository at this point in the history

  2. WIP: yet more work on infer

    @byorgey
    byorgey committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    eca81ff View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2022

  1. it compiles again!

    @byorgey
    byorgey committed Oct 15, 2022
    Configuration menu
    Copy the full SHA
    070e319 View commit details
    Browse the repository at this point in the history

  2. WIP: more refactoring 

    - Split out `Swarm.Language.Module`, put annotated AST in a `Module`
- Update module typechecking appropriately
- Still some `undefined` things that need to be filled in!
    @byorgey
    byorgey committed Oct 15, 2022
    Configuration menu
    Copy the full SHA
    24c6e36 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2022

  1. WIP: implement HasBindings instances for Term' and Syntax'

    @byorgey
    byorgey committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    484bd67 View commit details
    Browse the repository at this point in the history

  2. WIP: finish converting runInfer

    @byorgey
    byorgey committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    786fafb View commit details
    Browse the repository at this point in the history

  3. WIP: add missing import

    @byorgey
    byorgey committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    b2a9b26 View commit details
    Browse the repository at this point in the history

  4. WIP: update Controller (get all tests passing again!)

    @byorgey
    byorgey committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    863f98b View commit details
    Browse the repository at this point in the history

  5. WIP: get rid of Term in ProcessedTerm 

    Need to rewrite `elaborate`.
    @byorgey
    byorgey committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    7655b79 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2022

  1. WIP: generalize fvT to work over any Term' type

    @byorgey
    byorgey committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    b8b850d View commit details
    Browse the repository at this point in the history

  2. WIP: upgrading fvT and related traversals to be over Syntax'

    @byorgey
    byorgey committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    25a4f9f View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2022

  1. Merge branch 'main' into annotate-ast

    @byorgey
    byorgey committed Nov 13, 2022
    Configuration menu
    Copy the full SHA
    f83afaf View commit details
    Browse the repository at this point in the history

  2. WIP: fix type errors in Parse

    @byorgey
    byorgey committed Nov 13, 2022
    Configuration menu
    Copy the full SHA
    58ceee5 View commit details
    Browse the repository at this point in the history

  3. WIP: work on converting Elaborate

    @byorgey
    byorgey committed Nov 13, 2022
    Configuration menu
    Copy the full SHA
    0ee3c76 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2022

  1. WIP: more work on Elaborate 

    Getting very bogged down.  Might need to throw this code away and
start again with some kind of more principled approach...
    @byorgey
    byorgey committed Nov 22, 2022
    Configuration menu
    Copy the full SHA
    7c42ea3 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2023

  1. Merge branch 'main' into annotate-ast

    @byorgey
    byorgey committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    e04f4ee View commit details
    Browse the repository at this point in the history

  2. WIP: merge fixes

    @byorgey
    byorgey committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    771d9af View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. WIP: start generalizing fv traversals

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    6438aa4 View commit details
    Browse the repository at this point in the history

  2. WIP: bit of reorganization

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    2ec5f26 View commit details
    Browse the repository at this point in the history

  3. WIP: fix (??) elaboration

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    ca2df55 View commit details
    Browse the repository at this point in the history

  4. WIP: fix Swarm.Language.Pipeline

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    30985ee View commit details
    Browse the repository at this point in the history

  5. it works! mostly. 

    `Testing/479-atomic` timed out, not sure why.
    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    db1ecb6 View commit details
    Browse the repository at this point in the history

  6. fix atomic case for type inference 

    Was accidentally deleting the `atomic` constant.
    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    bc01b95 View commit details
    Browse the repository at this point in the history

  7. clean up documentation

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    c524d1d View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into annotate-ast

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    fa6e9d3 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into annotate-ast

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    777d118 View commit details
    Browse the repository at this point in the history

  10. Restyled by fourmolu (#998) 

    Co-authored-by: Restyled.io <[email protected]>
    @restyled-io @restyled-commits
    restyled-io[bot] and restyled-commits authored Jan 10, 2023
    Configuration menu
    Copy the full SHA
    3b95865 View commit details
    Browse the repository at this point in the history

  11. remove unused LANGUAGE pragma

    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    8a94bea View commit details
    Browse the repository at this point in the history

  12. Merge branch 'annotate-ast' of github.com:swarm-game/swarm into annot… 

    …ate-ast
    @byorgey
    byorgey committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    e5daf04 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. add comments to initMachine'

    @byorgey
    byorgey committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    7d1effd View commit details
    Browse the repository at this point in the history

  2. reorg export list

    @byorgey
    byorgey committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    737e090 View commit details
    Browse the repository at this point in the history

  3. add a comment explaining Foldable/Traversable instances for Term

    @byorgey
    byorgey committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    1526524 View commit details
    Browse the repository at this point in the history

  4. give free var functions better comments and less golf-y names

    @byorgey
    byorgey committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    f4f2c87 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. s/listOf/toListOf/

    @byorgey
    byorgey committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    ba67b67 View commit details
    Browse the repository at this point in the history

  2. WIP: start adding some tests

    @byorgey
    byorgey committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    6edf8da View commit details
    Browse the repository at this point in the history

  3. comment out unfinished test

    @byorgey
    byorgey committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    b4e5823 View commit details
    Browse the repository at this point in the history

  4. Add binder source location to parent location

    @byorgey
    byorgey committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    0e59254 View commit details
    Browse the repository at this point in the history

  5. Fix location parsing in tuples

    @xsebek @byorgey
    xsebek authored and byorgey committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    85b6e71 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. add tests/examples for AST type annotation

    @byorgey
    byorgey committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    7f18b96 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into annotate-ast

    @byorgey
    byorgey committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    98f348b View commit details
    Browse the repository at this point in the history

  3. use type quasiquoters

    @byorgey
    byorgey committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    ce862cb View commit details
    Browse the repository at this point in the history

  4. add Ord for LocVar

    @byorgey
    byorgey committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    19eed57 View commit details
    Browse the repository at this point in the history

  5. Restyled by fourmolu (#1003) 

    Co-authored-by: Restyled.io <[email protected]>
    @restyled-io @restyled-commits
    restyled-io[bot] and restyled-commits authored Jan 24, 2023
    Configuration menu
    Copy the full SHA
    6aeef44 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into annotate-ast

    @mergify
    mergify[bot] authored Jan 24, 2023
    Configuration menu
    Copy the full SHA
    79152e5 View commit details
    Browse the repository at this point in the history