Code

Sean/typed core fn#20

Code

Open

gnumonik wants to merge 49 commits intomastermlabs-haskell/purus:masterfrom sean/typedCoreFnmlabs-haskell/purus:sean/typedCoreFnCopy head branch name to clipboard

+4,618-2,121

Commits

Commits on Nov 29, 2023

• flake

  gnumonik

  committed
  04eece1

• shell

  gnumonik

  committed
  c6c8930

Commits on Nov 30, 2023

• Added uplc command line option for , pulled in plutus-core dep from CHaP, added basic nix shell with build deps & locale config, placeholder UPLC codegen module & functions. You almost certainly ne…

  Show description for 3e3562c
  gnumonik

  committed
  3e3562c

• PlutusIR dependency sorted out

  gnumonik

  committed
  99c51cb

Commits on Dec 6, 2023

• Typed CoreFn conversion & pretty printer (messy)

  gnumonik

  committed
  75012d1

• More detailed tracing to investigate type reprs

  gnumonik

  committed
  62c4685

Commits on Jan 12, 2024

• Switched to a typed CoreFn data type (instead of stashing type info in the annotation) + reworked pretty printer to... print prettily

  

  gnumonik

  committed
  b173baf

Commits on Jan 17, 2024

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

  

  gnumonik

  committed
  5b02fe1

Commits on Jan 18, 2024

• Let bindings/declaration groups debugging, working on quantifier preservation issues

  gnumonik

  committed
  822c6d4

Commits on Jan 20, 2024

• Working on conversion of typeclass dictionaries. (Pretty messy, using this as a temporary work branch)

  gnumonik

  committed
  23fac0a

Commits on Jan 24, 2024

• Adjusted typeclass desugaring to use real source locations in the case expressions, necessary for fully typing the desugared typeclass declarations

  gnumonik

  committed
  f3a86eb

• Conversion to typed CoreFn for desugared typeclass dictionaries seems to work

  gnumonik

  committed
  28a850e

Commits on Jan 25, 2024

• Typed CoreFn conversion now works with MPTCs, cleaned up a bunch of ugly CoreFn desugaring code

  gnumonik

  committed
  282d951

• Substantial cleanup + documentation pass

  gnumonik

  committed
  cdd4bb1

• Merge pull request #17 from mlabs-haskell/sean/typedCoreFn.typeclasses-wip

  Show description for 766b580
  gnumonik

  authored
  766b580

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

  gnumonik

  committed
  6e2ca01

Commits on Feb 1, 2024

• Mutually recursive binding groups, binders, attempt at generalizing TUnknowns, small tweak to pretty printer

  gnumonik

  committed
  51344c8

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

  Show description for 9ffcbcf
  gnumonik

  authored
  9ffcbcf

• fixed small mistake, deleted some traces, added comment or two

  gnumonik

  committed
  722a0cc

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

  gnumonik

  committed
  e6237d8

Commits on Feb 3, 2024

• Fixed mutual recursion bug in declToCoreFn, removed let generalization machinery

  gnumonik

  committed
  02129dd

Commits on Feb 6, 2024

• Fixed problem w/ object literal binders, cleaned up the interface of instantiatePolyTypes

  gnumonik

  committed
  b2befc1

Commits on Feb 18, 2024

• Nix setup

  t4ccer

  committed
  5a70555

• Trigger CI

  t4ccer

  committed
  86ec038

• Remove unused configs

  t4ccer

  committed
  acbc49d

• Disable typos check

  Show description for 43bea5a
  t4ccer

  committed
  43bea5a

Commits on Feb 21, 2024

• Primitive infrastructure for golden tests, removed some dead options

  gnumonik

  committed
  5f464c5

Commits on Feb 22, 2024

• testing infrastructure, ported some tests/purs/passing tests to debug compiler

  gnumonik

  committed
  aa95066

Commits on Feb 23, 2024

• Remove Nix Plutarch wrapper

  t4ccer

  committed
  df4b8b8

Commits on Feb 27, 2024

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

  gnumonik

  committed
  5a83437

Commits on Feb 29, 2024

• Fixed issue w/ transitive imports resulting from explicitly desguaring dictionary types, (sort of) fixed let-generalization, ported over more tests

  gnumonik

  committed
  c99c476

• Documenting/Explaining the use of new utils

  gnumonik

  committed
  293acc9

Commits on Mar 1, 2024

• Type inference/checking machinery removed from CoreFn desugaring machinery. (We're now properly *reconstructing* the types)

  gnumonik

  committed
  1e17804

• Added some empty list tests

  gnumonik

  committed
  161bdef

Commits on Mar 2, 2024

• Prettyprinter replacement implemented (still needs some tweaking)

  gnumonik

  committed
  f35cdb0

• prettyprinter improvements

  gnumonik

  committed
  b4f557e

• even prettier

  gnumonik

  committed
  7876fdb

• extremely pretty

  gnumonik

  committed
  c862bd5

Commits on Mar 5, 2024

• Refactored pretty printer update to use Reader monad (hopefully makes easier to read)

  gnumonik

  committed
  4b6112c

• Final cleanup/tweaks to pretty printer

  gnumonik

  committed
  cb11738

Commits on Mar 6, 2024

• Module-ized prettyprinter + some small tweaks

  gnumonik

  committed
  d295a01

• Nix setup

  

  t4ccer

  authored and

  gnumonik

  committed
  ae4f703

• Trigger CI

  

  t4ccer

  authored and

  gnumonik

  committed
  991c758

• Remove unused configs

  

  t4ccer

  authored and

  gnumonik

  committed
  4214ae6

• Disable typos check

  Show description for 6349472
  

  t4ccer

  authored and

  gnumonik

  committed
  6349472

• Remove Nix Plutarch wrapper

  

  t4ccer

  authored and

  gnumonik

  committed
  ed35645

• Removed some dead comments, testing pre-commit hooks

  gnumonik

  committed
  a9f7a14

• Merge pull request #22 from mlabs-haskell/sean/typedCoreFn.test-infra

  Show description for fcce0c8
  gnumonik

  authored
  fcce0c8

Commits on Mar 7, 2024

• Merge pull request #21 from mlabs-haskell/t4/ci-nix

  Show description for a9fb17a
  klntsky

  authored
  a9fb17a