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

T4/ast2 #32

Draft
wants to merge 76 commits into
base: master
Choose a base branch
from
Draft

T4/ast2 #32

wants to merge 76 commits into from

Commits on Nov 29, 2023

  1. flake

    @gnumonik
    gnumonik committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    04eece1 View commit details
    Browse the repository at this point in the history

  2. shell

    @gnumonik
    gnumonik committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    c6c8930 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Added uplc command line option for , pulled in plutus-core dep from C… 

    …HaP, added basic nix shell with build deps & locale config, placeholder UPLC codegen module & functions. You almost certainly need the hie.yaml and .envrc to work on this so I committed those intentionally.
    @gnumonik
    gnumonik committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    3e3562c View commit details
    Browse the repository at this point in the history

  2. PlutusIR dependency sorted out

    @gnumonik
    gnumonik committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    99c51cb View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Typed CoreFn conversion & pretty printer (messy)

    @gnumonik
    gnumonik committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    75012d1 View commit details
    Browse the repository at this point in the history

  2. More detailed tracing to investigate type reprs

    @gnumonik
    gnumonik committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    62c4685 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Switched to a typed CoreFn data type (instead of stashing type info i… 

    …n the annotation) + reworked pretty printer to... print prettily
    gnumonik committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    b173baf View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Preserving ForAll quantifiers in output CoreFn AST (WIP/maybe broken)

    gnumonik committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    5b02fe1 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Let bindings/declaration groups debugging, working on quantifier pres… 

    …ervation issues
    @gnumonik
    gnumonik committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    822c6d4 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2024

  1. Working on conversion of typeclass dictionaries. (Pretty messy, using… 

    … this as a temporary work branch)
    @gnumonik
    gnumonik committed Jan 20, 2024
    Configuration menu
    Copy the full SHA
    23fac0a View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Adjusted typeclass desugaring to use real source locations in the cas… 

    …e expressions, necessary for fully typing the desugared typeclass declarations
    @gnumonik
    gnumonik committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    f3a86eb View commit details
    Browse the repository at this point in the history

  2. Conversion to typed CoreFn for desugared typeclass dictionaries seems… 

    … to work
    @gnumonik
    gnumonik committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    28a850e View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Typed CoreFn conversion now works with MPTCs, cleaned up a bunch of u… 

    …gly CoreFn desugaring code
    @gnumonik
    gnumonik committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    282d951 View commit details
    Browse the repository at this point in the history

  2. Substantial cleanup + documentation pass

    @gnumonik
    gnumonik committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    cdd4bb1 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #17 from mlabs-haskell/sean/typedCoreFn.typeclasse… 

    …s-wip

Sean/typed core fn.typeclasses wip
    @gnumonik
    gnumonik authored Jan 25, 2024
    Configuration menu
    Copy the full SHA
    766b580 View commit details
    Browse the repository at this point in the history

  4. Nested 'let' expressions w/ mix of type sigs/no type sigs w/ quantifiers

    @gnumonik
    gnumonik committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    6e2ca01 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Mutually recursive binding groups, binders, attempt at generalizing T… 

    …Unknowns, small tweak to pretty printer
    @gnumonik
    gnumonik committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    51344c8 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #19 from mlabs-haskell/sean/typedCoreFn.wip 

    Sean/typed core fn.wip
    @gnumonik
    gnumonik authored Feb 1, 2024
    Configuration menu
    Copy the full SHA
    9ffcbcf View commit details
    Browse the repository at this point in the history

  3. fixed small mistake, deleted some traces, added comment or two

    @gnumonik
    gnumonik committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    722a0cc View commit details
    Browse the repository at this point in the history

  4. Merge branch 'sean/typedCoreFn.wip' into sean/typedCoreFn

    @gnumonik
    gnumonik committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    e6237d8 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. Fixed mutual recursion bug in declToCoreFn, removed let generalizatio… 

    …n machinery
    @gnumonik
    gnumonik committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    02129dd View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Fixed problem w/ object literal binders, cleaned up the interface of … 

    …instantiatePolyTypes
    @gnumonik
    gnumonik committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    b2befc1 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Primitive infrastructure for golden tests, removed some dead options

    @gnumonik
    gnumonik committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    5f464c5 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. testing infrastructure, ported some tests/purs/passing tests to debug… 

    … compiler
    @gnumonik
    gnumonik committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    aa95066 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Fixed bug discovered in test #4301 (I hope...)

    @gnumonik
    gnumonik committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    5a83437 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Fixed issue w/ transitive imports resulting from explicitly desguarin… 

    …g dictionary types, (sort of) fixed let-generalization, ported over more tests
    @gnumonik
    gnumonik committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    c99c476 View commit details
    Browse the repository at this point in the history

  2. Documenting/Explaining the use of new utils

    @gnumonik
    gnumonik committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    293acc9 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Type inference/checking machinery removed from CoreFn desugaring mach… 

    …inery. (We're now properly *reconstructing* the types)
    @gnumonik
    gnumonik committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    1e17804 View commit details
    Browse the repository at this point in the history

  2. Added some empty list tests

    @gnumonik
    gnumonik committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    161bdef View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Prettyprinter replacement implemented (still needs some tweaking)

    @gnumonik
    gnumonik committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    f35cdb0 View commit details
    Browse the repository at this point in the history

  2. prettyprinter improvements

    @gnumonik
    gnumonik committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    b4f557e View commit details
    Browse the repository at this point in the history

  3. even prettier

    @gnumonik
    gnumonik committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    7876fdb View commit details
    Browse the repository at this point in the history

  4. extremely pretty

    @gnumonik
    gnumonik committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    c862bd5 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Refactored pretty printer update to use Reader monad (hopefully makes… 

    … easier to read)
    @gnumonik
    gnumonik committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    4b6112c View commit details
    Browse the repository at this point in the history

  2. Final cleanup/tweaks to pretty printer

    @gnumonik
    gnumonik committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    cb11738 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Module-ized prettyprinter + some small tweaks

    @gnumonik
    gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    d295a01 View commit details
    Browse the repository at this point in the history

  2. Nix setup

    @t4ccer @gnumonik
    t4ccer authored and gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    ae4f703 View commit details
    Browse the repository at this point in the history

  3. Trigger CI

    @t4ccer @gnumonik
    t4ccer authored and gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    991c758 View commit details
    Browse the repository at this point in the history

  4. Remove unused configs

    @t4ccer @gnumonik
    t4ccer authored and gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    4214ae6 View commit details
    Browse the repository at this point in the history

  5. Disable typos check 

    Too many of them to fix now
    @t4ccer @gnumonik
    t4ccer authored and gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6349472 View commit details
    Browse the repository at this point in the history

  6. Remove Nix Plutarch wrapper

    @t4ccer @gnumonik
    t4ccer authored and gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    ed35645 View commit details
    Browse the repository at this point in the history

  7. Removed some dead comments, testing pre-commit hooks

    @gnumonik
    gnumonik committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    a9f7a14 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. working on monomorphizer (seems to work w/ non-recursive binding grou… 

    …ps if we inline, working on recursive)
    @gnumonik
    gnumonik committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    115cb65 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. re-implementing monomorphizer (wip)

    @gnumonik
    gnumonik committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    cada4c7 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. monomorphizer works on the simplest possible mutually recursive examp… 

    …le (bugs almost certainly remain)
    @gnumonik
    gnumonik committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    584cf12 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. Support for PLC Builtins and primitive types

    @gnumonik
    gnumonik committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    babc876 View commit details
    Browse the repository at this point in the history

  2. re-organize modules

    @gnumonik
    gnumonik committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    db81559 View commit details
    Browse the repository at this point in the history

  3. utilities for object desugaring

    @gnumonik
    gnumonik committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    3a1302d View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Conversion to Bound, object desugaring

    @gnumonik
    gnumonik committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    7106f6f View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Prettyprinter for Bound AST, fixed some bugs in object desguaring, re… 

    …worked the IndexedPlated instance to be indexed on a name-context
    @gnumonik
    gnumonik committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    d08e03e View commit details
    Browse the repository at this point in the history

  2. Reworked final IR, prettyprinters, debugging + reworking monomorphize… 

    …r and object desugarer, started working on final translation to PIR
    @gnumonik
    gnumonik committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    9e83557 View commit details
    Browse the repository at this point in the history

  3. forgot to commit new file

    @gnumonik
    gnumonik committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    8a84e77 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. full Purs->UPLC pipeline working for very simple examples. builtins w… 

    …orking. TONS Of bugs. TONS of errors and undefineds and missing branches and etc.
    @gnumonik
    gnumonik committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    9dbd7b7 View commit details
    Browse the repository at this point in the history

  2. remoted test output dirs from gitignore (so can link to things)

    @gnumonik
    gnumonik committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    71add6a View commit details
    Browse the repository at this point in the history

  3. wrong output file name in test

    @gnumonik
    gnumonik committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    3b24eef View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. working on case expressions

    @gnumonik
    gnumonik committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    3f8183d View commit details
    Browse the repository at this point in the history

  2. basic PLC test infrastructure

    @gnumonik
    gnumonik committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    87fd8cc View commit details
    Browse the repository at this point in the history

  3. fixed some tests

    @gnumonik
    gnumonik committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    e076b6a View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. architecture doc

    @gnumonik
    gnumonik committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    e6cb3ba View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. Removed type annotations from CoreFn and ctors

    @gnumonik
    gnumonik committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    d3a263c View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. Working on better case desugaring. (Their algorithm works for us but … 

    …breaks type synthesis -_-)
    @gnumonik
    gnumonik committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    809249c View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Guard/case desugaring w/ correct types

    @gnumonik
    gnumonik committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    c8fac0a View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Fix objects introduced by forall without typeclass constraints

    @t4ccer
    t4ccer committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    1b55f26 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Add tests for objects with forall

    @t4ccer
    t4ccer committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    e19e729 View commit details
    Browse the repository at this point in the history

  2. Fix arrays introduced by forall

    @t4ccer
    t4ccer committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    5d12065 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Remove FFI codegen 

    It was already a no op
    @t4ccer
    t4ccer committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    dd62554 View commit details
    Browse the repository at this point in the history

  2. Tentative fix for #30 (superclass method access)

    @gnumonik
    gnumonik committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    722270d View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Parametrize IR AST with type

    @t4ccer
    t4ccer committed May 1, 2024
    Configuration menu
    Copy the full SHA
    c06ac6b View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Initial CoreFn -> IR transformation

    @t4ccer
    t4ccer committed May 2, 2024
    Configuration menu
    Copy the full SHA
    376ef2f View commit details
    Browse the repository at this point in the history

Commits on May 5, 2024

  1. Track object presence on type level

    @t4ccer
    t4ccer committed May 5, 2024
    Configuration menu
    Copy the full SHA
    ac9137b View commit details
    Browse the repository at this point in the history

  2. Remove guarded patterns

    @t4ccer
    t4ccer committed May 5, 2024
    Configuration menu
    Copy the full SHA
    b971e9c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'sean/monomorph-cleanup' into t4/ast2

    @t4ccer
    t4ccer committed May 5, 2024
    Configuration menu
    Copy the full SHA
    8aedd54 View commit details
    Browse the repository at this point in the history

  4. Ignore cache-db.json files

    @t4ccer
    t4ccer committed May 5, 2024
    Configuration menu
    Copy the full SHA
    5d70096 View commit details
    Browse the repository at this point in the history

  5. WIP Monomorphizer rework for AST 

    103 GHC erros to go
    @t4ccer
    t4ccer committed May 5, 2024
    Configuration menu
    Copy the full SHA
    1ddbe4e View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Some stuff

    @t4ccer
    t4ccer committed May 8, 2024
    Configuration menu
    Copy the full SHA
    f74e778 View commit details
    Browse the repository at this point in the history

  2. Monomorphizer fixes

    @t4ccer
    t4ccer committed May 8, 2024
    Configuration menu
    Copy the full SHA
    3cf10c2 View commit details
    Browse the repository at this point in the history