Code

Sean/monomorph#27

Code

Open

klntsky wants to merge 63 commits intomastermlabs-haskell/purus:masterfrom sean/monomorphmlabs-haskell/purus:sean/monomorphCopy head branch name to clipboard

+8,388-2,455

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 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 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

Commits on Mar 15, 2024

• working on monomorphizer (seems to work w/ non-recursive binding groups if we inline, working on recursive)

  gnumonik

  committed
  115cb65

Commits on Mar 16, 2024

• re-implementing monomorphizer (wip)

  gnumonik

  committed
  cada4c7

Commits on Mar 19, 2024

• monomorphizer works on the simplest possible mutually recursive example (bugs almost certainly remain)

  gnumonik

  committed
  584cf12

Commits on Mar 20, 2024

• Support for PLC Builtins and primitive types

  gnumonik

  committed
  babc876

• re-organize modules

  gnumonik

  committed
  db81559

• utilities for object desugaring

  gnumonik

  committed
  3a1302d

Commits on Mar 21, 2024

• Conversion to Bound, object desugaring

  gnumonik

  committed
  7106f6f

Commits on Mar 22, 2024

• Prettyprinter for Bound AST, fixed some bugs in object desguaring, reworked the IndexedPlated instance to be indexed on a name-context

  gnumonik

  committed
  d08e03e

• Reworked final IR, prettyprinters, debugging + reworking monomorphizer and object desugarer, started working on final translation to PIR

  gnumonik

  committed
  9e83557

• forgot to commit new file

  gnumonik

  committed
  8a84e77

Commits on Mar 23, 2024

• full Purs->UPLC pipeline working for very simple examples. builtins working. TONS Of bugs. TONS of errors and undefineds and missing branches and etc.

  gnumonik

  committed
  9dbd7b7

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

  gnumonik

  committed
  71add6a

• wrong output file name in test

  gnumonik

  committed
  3b24eef

Commits on Mar 26, 2024

• working on case expressions

  gnumonik

  committed
  3f8183d

• basic PLC test infrastructure

  gnumonik

  committed
  87fd8cc

• fixed some tests

  gnumonik

  committed
  e076b6a

Commits on Mar 28, 2024

• architecture doc

  gnumonik

  committed
  e6cb3ba

Commits on Apr 11, 2024

• Move to simple-haskell-nix and expose tests in CI

  t4ccer

  committed
  48286be

• Drop GH Actions

  t4ccer

  committed
  6690d42

• Fix pretty printer compilation error

  t4ccer

  committed
  e63a399

Commits on Apr 12, 2024

• Merge pull request #28 from mlabs-haskell/t4/expose-tests-in-ci

  t4ccer

  authored
  cc7fe12