Code

Sean/mandatory kinds#35

Code

Merged

kozross merged 104 commits intomastermlabs-haskell/purus:masterfrom sean/mandatory-kindsmlabs-haskell/purus:sean/mandatory-kindsCopy head branch name to clipboardSep 4, 2024

+44,708-2,924

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