Code

Sean/purus#42

Code

Merged

kozross merged 201 commits intomastermlabs-haskell/purus:masterfrom sean/purusmlabs-haskell/purus:sean/purusCopy head branch name to clipboardSep 4, 2024

+94,777-24,619

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 Mar 29, 2024

• Removed type annotations from CoreFn and ctors

  gnumonik

  committed
  d3a263c

Commits on Apr 13, 2024

• Working on better case desugaring. (Their algorithm works for us but breaks type synthesis -_-)

  gnumonik

  committed
  809249c

Commits on Apr 19, 2024

• Guard/case desugaring w/ correct types

  gnumonik

  committed
  c8fac0a

Commits on Apr 24, 2024

• Fix objects introduced by forall without typeclass constraints

  t4ccer

  committed
  1b55f26

Commits on Apr 25, 2024

• Add tests for objects with forall

  t4ccer

  committed
  e19e729

• Fix arrays introduced by forall

  t4ccer

  committed
  5d12065

Commits on Apr 30, 2024

• Remove FFI codegen

  Show description for dd62554
  t4ccer

  committed
  dd62554

• Tentative fix for #30 (superclass method access)

  gnumonik

  committed
  722270d

Commits on May 1, 2024

• Parametrize IR AST with type

  t4ccer

  committed
  c06ac6b

Commits on May 2, 2024

• Initial CoreFn -> IR transformation

  t4ccer

  committed
  376ef2f

Commits on May 5, 2024

• Track object presence on type level

  t4ccer

  committed
  ac9137b

• Remove guarded patterns

  t4ccer

  committed
  b971e9c

• Merge branch 'sean/monomorph-cleanup' into t4/ast2

  t4ccer

  committed
  8aedd54

• Ignore cache-db.json files

  t4ccer

  committed
  5d70096

• WIP Monomorphizer rework for AST

  Show description for 1ddbe4e
  t4ccer

  committed
  1ddbe4e

Commits on May 8, 2024

• Some stuff

  t4ccer

  committed
  f74e778

Commits on May 9, 2024

• Parameterized module, TypeLike class for common operations on types, started reworking monomorphizer

  gnumonik

  committed
  3ad78bf

Commits on May 10, 2024

• IndexedPlated instance for Exp

  gnumonik

  committed
  d1dd427

• changed IndexedPlated to Plated

  gnumonik

  committed
  df5cc44

Commits on May 11, 2024

• monomorphizer utils, started reworking inlineAs

  gnumonik

  committed
  33476ce

Commits on May 14, 2024

• types mostly line up, might break things in a sec

  gnumonik

  committed
  eca9e88

Commits on May 15, 2024

• made the types line up in the monomorphizer rewrite

  gnumonik

  committed
  1b17a50

Commits on May 16, 2024

• monomorphizer rewrite works for simple examples

  gnumonik

  committed
  96d4b9e

• Changed the body of BindE to Exps (from Scopes), cleanup, doc comments

  gnumonik

  committed
  f05bf14

• Removed dead code, misc cleanup

  gnumonik

  committed
  0993609

• disabled UPLC tests while we rewrite things

  gnumonik

  committed
  fe6d66e

Commits on May 17, 2024

• initial draft of simplified datatype binding/translation machinery

  gnumonik

  committed
  8d2d2df

Commits on May 18, 2024

• started implementing mandatory kinds. compiles but very broken atm, need to distinguish between free and bound tyvars and only require annotations only in tyvar binders & free tyvars

  gnumonik

  committed
  ee3b27e

Commits on May 22, 2024

• trying to fix mandatory kinds design flaws & bugs (compiles but broken atm)

  gnumonik

  committed
  764b71c

• Restrict kind annotations to just identifiers and arrows

  klntsky

  committed
  69397fd

• Update the parser: use kind everywhere for TypeKinded

  klntsky

  committed
  8b06941

Commits on May 23, 2024

• Fixed a few bugs resulting from mandatory kind annotations for TyVars & small mistakes in the CST conversion rewrite

  gnumonik

  committed
  291750e

• Use square brackets for rows

  klntsky

  committed
  fb2838f

• pre-merge backup commit

  gnumonik

  committed
  faf2514

• Merge branch 'klntsky/parser-tweaks/sean/mandatory-kinds' into sean/mandatory-kinds

  gnumonik

  committed
  426c4ff

Commits on May 24, 2024

• Disallow named instances in the parser

  klntsky

  committed
  8838a77

• Add quantifiers for instances

  klntsky

  committed
  bbe329e

• restrict kinds in forall (a :: kind) parser to be kinds only

  klntsky

  committed
  141c11f

Commits on May 25, 2024

• fixed bugs in backticked infix expressions & superclass variables types

  gnumonik

  committed
  ff0b89f

• fixed a bug in the CST grouper, cleaned up old passing tests

  gnumonik

  committed
  27d8648

• Merge branch 'klntsky/parser-tweaks/sean/mandatory-kinds' into sean/mandatory-kinds

  gnumonik

  committed
  ceb7ddb

• better row syntax tests to help vladimir debug

  gnumonik

  committed
  7f10e5a

• more row syntax tests

  gnumonik

  committed
  1de91e0

Commits on May 28, 2024

• linting

  gnumonik

  committed
  89162e4

• Fixed mistake (ignored TVBinders in instance chains), cleaned up/fixed existing tests

  gnumonik

  committed
  5777b4e

Commits on May 30, 2024

• Rewrote object desugarer to use our new IR, started work on PIR conversion rewrite

  gnumonik

  committed
  abf5382

Commits on May 31, 2024

• rewrote most of PIR conversion, updated repl-testing tools and test infrastructure

  gnumonik

  committed
  a875d50

Commits on Jun 1, 2024

• removed Constructor nodes from CoreFn and IR Expr AST (this breaks the monomorphizer)

  gnumonik

  committed
  6411de7

• Reworking compiler machinery for handling datatypes/constructors

  gnumonik

  committed
  f6f39ea

Commits on Jun 4, 2024

• reworking datatype machinery, continued

  gnumonik

  committed
  45417e1

Commits on Jun 5, 2024

• Tweaks to datatype machinery (NOTE: I broke the renamer, trying to fix it)

  gnumonik

  committed
  94e0227

Commits on Jun 6, 2024

• Primitive Array & Boolean datatypes (needed for codegen)

  gnumonik

  committed
  b3f24e7

• tuples

  gnumonik

  committed
  d27cf25

• removed old monomorphize module

  gnumonik

  committed
  6d8b975

• Tupled case scrutinees and patterns in IR

  gnumonik

  committed
  70861cb

Commits on Jun 7, 2024

• working on case expression compilation (doesn't compile / wip)

  gnumonik

  committed
  49dadde

Commits on Jun 12, 2024

• Finished draft of PIR conversion rewrite, need to change some other things (remove boolean literals everywhere) to make the tests not error out

  gnumonik

  committed
  f488867

Commits on Jun 13, 2024

• Desugar array & boolean literals to their ADT forms

  gnumonik

  committed
  76c848c

Commits on Jun 14, 2024

• debugging

  gnumonik

  committed
  6f7697d

• debugging (something's wrong with our Scope transversals -_-)

  gnumonik

  committed
  104d705

Commits on Jun 18, 2024

• reworked object desugarer/monomorphizer to fix our broken understanding of the bound library

  gnumonik

  committed
  24d3a6c

Commits on Jun 20, 2024

• debugging, fixes

  gnumonik

  committed
  e32aa70

Commits on Jun 21, 2024

• fixed monomorphizer, many small fixes, tests for demo video

  gnumonik

  committed
  776ac5e

Commits on Jul 2, 2024

• Reworking case machinery, making changes to earlier parts of the pipeline to make that easier

  

  gnumonik

  committed
  c717ae2

Commits on Jul 3, 2024

• still working on case expressions

  

  gnumonik

  committed
  15ccf4f

Commits on Jul 4, 2024

• debugging & fixes

  

  gnumonik

  committed
  454d92b

Commits on Jul 5, 2024

• Debugging. Very close to appeasing the PIR typechecker for 'complex' types

  

  gnumonik

  committed
  5372b2d

Commits on Jul 10, 2024

• Fixed a bunch of errors related to case expression compilation. Still a few more, but the remaining ones seem much more tractable.

  

  gnumonik

  committed
  115245f

Commits on Jul 11, 2024

• fixed VarP/WildP catchall patterns, probably about to break something

  

  gnumonik

  committed
  2794a0b

• case expression compilation seems to work flawlessly, need to fix variable abstraction bugs in let bindings and pattern binders

  

  gnumonik

  committed
  acd1ef0

Commits on Jul 12, 2024

• fixed type deduction bug that was breaking the compiler in a few contexts where polymorphic functions are passed as arguments

  

  gnumonik

  committed
  9c7374e

Commits on Jul 13, 2024

• Fixed a bunch of minor bugs (mainly related to TyInsts and Constructor types). Rigged up some basic test infra to ensure new changes don't break old working examples. Started a log of compiler bugs

  

  gnumonik

  committed
  44a4333

Commits on Jul 24, 2024

• initial implementation of tyabs, reworked monomorphizer, still have a few bugs to hammer out

  

  gnumonik

  committed
  56ef532

Commits on Jul 27, 2024

• seems to work for every test except 'guardedCase'

  

  gnumonik

  committed
  5f9a2a2

Commits on Aug 2, 2024

• initial implementation of lifting machinery (buggy, needs fixes)

  

  gnumonik

  committed
  85c41d8

Commits on Aug 3, 2024

• Rewrote lifting machinery, needs debugging

  

  gnumonik

  committed
  4b0a293

Commits on Aug 4, 2024

• Lifting machinery generally does what it should except for a few small bugs w/ variable indices

  

  gnumonik

  committed
  d5059a4

Commits on Aug 5, 2024

• lifting machinery works for simple examples. TODO: cleanup/tests

  

  gnumonik

  committed
  cd7b87c

• ran the formatter (for the first time in half a year)

  

  gnumonik

  committed
  7546bd7

• cleaned up / documented lifting machinery

  

  gnumonik

  committed
  8f80062

Commits on Aug 6, 2024

• Implemented type-abstraction lifting utility to 'correct' the types of lifted declarations, refactored lifting analysis machinery

  

  gnumonik

  committed
  f5e52c7

Commits on Aug 11, 2024

• reorganized some modules

  

  gnumonik

  committed
  e7cc0a6

Commits on Aug 12, 2024

• started draft of inliner/loop breaker

  

  gnumonik

  committed
  8d93ad0

Commits on Aug 13, 2024

• finished inliner draft, debugging

  

  gnumonik

  committed
  0f6a00e

• it works? maybe?

  

  gnumonik

  committed
  5a1d7d8

Commits on Aug 14, 2024

• reworked inliner in line w/ koz's suggestions

  

  gnumonik

  committed
  f31ca65

Commits on Aug 15, 2024

• reorganized modules, fixed variable binding bug in corefn conversion

  

  gnumonik

  committed
  b48524e

• inliner & lifer *appear* to work

  

  gnumonik

  committed
  77e0bc8

Commits on Aug 16, 2024

• added a few test cases, fixed a few small bugs

  

  gnumonik

  committed
  7ade596

Commits on Aug 20, 2024

• fixed some TyAbs bugs in DesugarCore, draft of new instantiation machinery

  

  gnumonik

  committed
  6e76672

Commits on Aug 21, 2024

• Reworking Lifting machinery to minimize unnecessary type abstractions/instantiations & not break the case expression eliminator

  

  gnumonik

  committed
  f8ea321

• fixed a printer bug, better polymorphic lift test case

  

  gnumonik

  committed
  66bff6e

Commits on Aug 22, 2024

• Ord1 instance for Exp

  kozross

  committed
  cb40120

• Merge pull request #40 from mlabs-haskell/koz/ord1

  Show description for e281c0c
  gnumonik

  authored
  e281c0c

• fixed a few bugs introduced in the lifter/inliner rework

  

  gnumonik

  committed
  67d46ba

Commits on Aug 23, 2024

• reorganizing module (committing in case I accidentally delete something I shouldn't)

  

  gnumonik

  committed
  5eacda5

• Working on module reorganization/cleanup/better monad stacks

  

  gnumonik

  committed
  22f45c6

Commits on Aug 24, 2024

• reorganization/cleanup complete

  

  gnumonik

  committed
  da981b7

• removed some deleted modules from cabal file

  

  gnumonik

  committed
  1c6b40c

• ran the formatter, fixed the tests

  

  gnumonik

  committed
  a57c0e1

• generalized instantiate to work with any of our Exp types, more cleanup, starting working on new build system

  

  gnumonik

  committed
  06af1d9

Commits on Aug 26, 2024

• Initial ledger types

  kozross

  committed
  5bcc87e

• Initial ledger types

  kozross

  committed
  dc7503d

• Refactor type definitions into own module

  kozross

  committed
  ab7e833

• Ledger API types

  kozross

  committed
  76c073f

• Refactor

  kozross

  committed
  0420911

Commits on Aug 27, 2024

• Remove vestiges from Environment

  kozross

  committed
  5b0562d

• Merge pull request #38 from mlabs-haskell/koz/ledger-api-types

  Show description for 7d615f2
  kozross

  authored
  7d615f2

• Rest of ledger decls

  kozross

  committed
  9013f2e

• Merge pull request #41 from mlabs-haskell/koz/ledger-api-types-3

  Show description for 16f6266
  kozross

  authored
  16f6266

• Pipeline rebuilt, changed test output file name format, misc small fixes. Few things still broken but not too bad

  

  gnumonik

  committed
  283f11e

• ledger types available to typechecking environment

  

  gnumonik

  committed
  8106999

Commits on Aug 28, 2024

• Refactored Koz's declarations to work with SourceType instead of Ty, hooked them up to our machinery, broke a module dependency cycle

  

  gnumonik

  committed
  9f900af

• compiler appears to work!

  

  gnumonik

  committed
  e97450b

• ran the formatter + wrote some more test cases + fixed some minor bugs

  

  gnumonik

  committed
  787fa77

Commits on Aug 29, 2024

• Serializations into prelude

  kozross

  committed
  7487fbd

• More prelude

  kozross

  committed
  8f9338b

• Fixed implementation for literal pattern desugaring, added unit type, removed dead code, added some comments

  

  gnumonik

  committed
  f097c35

• more cleaning up, more removing dead code, more writing comments

  

  gnumonik

  committed
  0de32f9

• ran the formatter

  

  gnumonik

  committed
  2074564

• Merge branch 'sean/purus' into koz/prelude

  kozross

  committed
  1b99050

• Ensure tests pass

  kozross

  committed
  3e3f096

• Things in the Builtin namespace in Language.Purus.Prim.* should now have the correct qualified names

  

  gnumonik

  committed
  ecb2383

• Ensure tests pass

  kozross

  committed
  8cec3fb

• Merge branch 'koz/prelude' of github.com:mlabs-haskell/purus into koz/prelude

  kozross

  committed
  c0c3f40

• More prelude

  kozross

  committed
  3d23fa8

Commits on Aug 30, 2024

• Prelude compiles

  kozross

  committed
  b30a6a3

• Merge pull request #43 from mlabs-haskell/koz/prelude

  Show description for 8eb43cf
  kozross

  authored
  8eb43cf

Commits on Sep 4, 2024

• Expr Plated instance

  kozross

  committed
  05b145d

• added/fixed runFullPipeline for end-to-end experimentation and testing

  

  gnumonik

  committed
  a7a7b21

• removed gh workflows

  

  gnumonik

  committed
  8b75059

• TH splice for Module CTE loads

  kozross

  committed
  3743173

• Addressed review comments related to outdated notes, mistake in Pipeline.Monad semigroup instance

  

  gnumonik

  committed
  2cb3f8c

• Removed some unnecessary/unused imports & pinned all dependencies w/ unspecified bounds in cabal.project, added cabal.project.freeze file

  

  gnumonik

  committed
  8fd7f8a

• Array -> List in the compiler (mainly committing bc about to do a very unsafe find-replace in the tests)

  

  gnumonik

  committed
  069070d

• Array -> List in tests.

  

  gnumonik

  committed
  1b4952b

• CI not working? Maybe this will fix

  

  gnumonik

  committed
  18dc58e

• Removed cabal freeze file, was breaking nix/ci

  

  gnumonik

  committed
  9806d82

• Merge pull request #45 from mlabs-haskell/koz/module-th

  Show description for c756531
  gnumonik

  authored
  c756531

• Merge pull request #44 from mlabs-haskell/koz/plated

  Show description for b1a60c8
  gnumonik

  authored
  b1a60c8

• Fixed some problems that arose from merging Koz's PRs, re-enabled the full set of CoreFn tests

  

  gnumonik

  committed
  986a5d0

• Removed a probably-will-come-back-to-bite-us semigroup/monoid instance that weren't really needed

  

  gnumonik

  committed
  eb9a832