Code

20220629 typed language#33

Code

Open

prozacchiwawa wants to merge 168 commits intomainChia-Network/clvm_tools_rs:mainfrom 20220629-typed-languageChia-Network/clvm_tools_rs:20220629-typed-languageCopy head branch name to clipboard

+6,610-458

Commits

Commits on Jun 30, 2022

• All needed code transcribed from haskell implementation ... first we'll get it compiling and then transcribe tests

  prozacchiwawa

  committed
  5e0f6b0

  Copy full SHA for 5e0f6b0

• Ensure theory is represented

  prozacchiwawa

  committed
  4580b16

  Copy full SHA for 4580b16

• mod

  prozacchiwawa

  committed
  e336aa3

  Copy full SHA for e336aa3

• ported haskell implementation of 'Jana Dunfield and Neelakantan R. Krishnaswami's ICFP 2013 paper, Complete and easy bidirectional typechecking for higer-order rank polymorphism.' by Kwanghoon Choi…

  Show description for 22448ba
  prozacchiwawa

  committed
  22448ba

  Copy full SHA for 22448ba

Commits on Jul 1, 2022

• Cradle for testing type theory

  prozacchiwawa

  committed
  385d5b4

  Copy full SHA for 385d5b4

Commits on Jul 2, 2022

• Start nailing down typed expressions

  prozacchiwawa

  committed
  53b64bd

  Copy full SHA for 53b64bd

• More tests

  prozacchiwawa

  committed
  4564294

  Copy full SHA for 4564294

• More

  prozacchiwawa

  committed
  7347f85

  Copy full SHA for 7347f85

• More

  prozacchiwawa

  committed
  0a80f01

  Copy full SHA for 0a80f01

• more

  prozacchiwawa

  committed
  e802e4b

  Copy full SHA for e802e4b

Commits on Jul 6, 2022

• Start unwinding type inf

  prozacchiwawa

  committed
  1f6a9bb

  Copy full SHA for 1f6a9bb

Commits on Jul 9, 2022

• Fix up guard i missed in TExists cases in subtype

  prozacchiwawa

  committed
  0a5d2aa

  Copy full SHA for 0a5d2aa

• Add test

  prozacchiwawa

  committed
  dd1bd46

  Copy full SHA for dd1bd46

Commits on Jul 10, 2022

• WIP more type checking ... i think i'm understanding more of the complete and easy paper

  prozacchiwawa

  committed
  c50903d

  Copy full SHA for c50903d

• Make drop and break more monadic, separate hypothesis from evolution cases

  prozacchiwawa

  committed
  ea3d747

  Copy full SHA for ea3d747

Commits on Jul 11, 2022

• More type resolution at the endpoints

  prozacchiwawa

  committed
  0e6f202

  Copy full SHA for 0e6f202

Commits on Jul 12, 2022

• more working typings

  prozacchiwawa

  committed
  e03c883

  Copy full SHA for e03c883

• enough is functioning that we can describe functions by variable name and save them in the environment

  prozacchiwawa

  committed
  c3b9e77

  Copy full SHA for c3b9e77

• We typecheck apply, but maybe not synthesize properly from it yet

  prozacchiwawa

  committed
  3be61a1

  Copy full SHA for 3be61a1

Commits on Jul 14, 2022

• All type checking

  prozacchiwawa

  committed
  35979b9

  Copy full SHA for 35979b9

• some is not a special expr anymore either, just a type signature

  prozacchiwawa

  committed
  c044b42

  Copy full SHA for c044b42

• More well formed assertions

  prozacchiwawa

  committed
  f81c367

  Copy full SHA for f81c367

• More well formed assertions

  prozacchiwawa

  committed
  4d6d35e

  Copy full SHA for 4d6d35e

• Well formed assertions

  prozacchiwawa

  committed
  bc9aa92

  Copy full SHA for bc9aa92

Commits on Jul 15, 2022

• preliminary support for type applications and named polymorphic types with Kind * -> *. Inspired by reading https://github.com/namin/dafny-sandbox/blob/master/SystemF.dfy

  prozacchiwawa

  committed
  9b5c53c

  Copy full SHA for 9b5c53c

• Add typeable tests for list with annotation

  prozacchiwawa

  committed
  cc102f3

  Copy full SHA for cc102f3

• Add a way to accumulate helper functions in typetest

  prozacchiwawa

  committed
  f0cad78

  Copy full SHA for f0cad78

• WIP checkpoint

  prozacchiwawa

  committed
  3a0dd49

  Copy full SHA for 3a0dd49

Commits on Jul 18, 2022

• All tests passing again, i have pretty good confidence after wringing out diffs with execution path of haskell original (with necessary additions in the haskell code to support chialisp idia)

  prozacchiwawa

  committed
  1183751

  Copy full SHA for 1183751

• Start adding types in the chialisp language itself

  prozacchiwawa

  committed
  8be25c5

  Copy full SHA for 8be25c5

• Block out type checking chialisp programs

  prozacchiwawa

  committed
  f4cfd75

  Copy full SHA for f4cfd75

Commits on Jul 19, 2022

• More tests

  prozacchiwawa

  committed
  7b682cb

  Copy full SHA for 7b682cb

• Enough to do basic args

  prozacchiwawa

  committed
  c6d7a7e

  Copy full SHA for c6d7a7e

• We have the first working type annotation of a chialisp program

  prozacchiwawa

  committed
  a81ef36

  Copy full SHA for a81ef36

• Simple argument destructuring type smoke test

  prozacchiwawa

  committed
  3f1585d

  Copy full SHA for 3f1585d

• Test of 'c' operator type

  prozacchiwawa

  committed
  971b49e

  Copy full SHA for 971b49e

• sha256 yields atom32

  prozacchiwawa

  committed
  f544a32

  Copy full SHA for f544a32

• Show that Atom doesn't subtype (Atom 32)

  prozacchiwawa

  committed
  3d8ec07

  Copy full SHA for 3d8ec07

Commits on Jul 20, 2022

• Added a more ergonomic syntax for typing

  prozacchiwawa

  committed
  448c37b

  Copy full SHA for 448c37b

• Fixing more stuff, formalizing into chialisp rather than abstract in our builtins

  prozacchiwawa

  committed
  c37dd3c

  Copy full SHA for c37dd3c

• More checks

  prozacchiwawa

  committed
  dd83b50

  Copy full SHA for dd83b50

Commits on Jul 21, 2022

• Add more typing tests; move onto 'if'

  prozacchiwawa

  committed
  bffc77f

  Copy full SHA for bffc77f

• macros involving apply should be well formed now

  prozacchiwawa

  committed
  59c3fc9

  Copy full SHA for 59c3fc9

• Fixed a bunch of things (turns out solve was something adding things at the end of the context) which led me to section 4 of the bidirectional type checking paper and proper extensionality which in…

  Show description for f341a40
  prozacchiwawa

  committed
  f341a40

  Copy full SHA for f341a40

Commits on Jul 22, 2022

• Abstract deftype routed

  prozacchiwawa

  committed
  2037cd3

  Copy full SHA for 2037cd3

Commits on Jul 25, 2022

• Provide struct and helpers

  prozacchiwawa

  committed
  71fc51a

  Copy full SHA for 71fc51a

• add failing struct member type test

  prozacchiwawa

  committed
  37acfe9

  Copy full SHA for 37acfe9

• Last feature of structs: construction

  prozacchiwawa

  committed
  4548adb

  Copy full SHA for 4548adb

Commits on Jul 26, 2022

• WIP: almost done with untype

  prozacchiwawa

  committed
  9ecccea

  Copy full SHA for 9ecccea

• type stripping functions and type generated inlines working

  prozacchiwawa

  committed
  3b5d8f6

  Copy full SHA for 3b5d8f6

• Add prims

  prozacchiwawa

  committed
  1a6ddbe

  Copy full SHA for 1a6ddbe

• Add typecheck command line argument

  prozacchiwawa

  committed
  5d25f43

  Copy full SHA for 5d25f43

Commits on Jul 27, 2022

• We can do structs with type variables

  prozacchiwawa

  committed
  5d4791f

  Copy full SHA for 5d4791f

• Member access in structs with variables

  prozacchiwawa

  committed
  6559b13

  Copy full SHA for 6559b13

• test of bless

  prozacchiwawa

  committed
  d9f385c

  Copy full SHA for d9f385c

• Final bits: ensure let is well typed

  prozacchiwawa

  committed
  c19bfaf

  Copy full SHA for c19bfaf

• Todos neutralized so we won't panic unexpectedly

  prozacchiwawa

  committed
  6335eec

  Copy full SHA for 6335eec

• Fix some clippy traffic

  prozacchiwawa

  committed
  8a072b9

  Copy full SHA for 8a072b9

• Add doc

  prozacchiwawa

  committed
  a222657

  Copy full SHA for a222657

• Missing

  prozacchiwawa

  committed
  7dce442

  Copy full SHA for 7dce442

• fmt

  prozacchiwawa

  committed
  226cea9

  Copy full SHA for 226cea9

• fmt

  prozacchiwawa

  committed
  c79a720

  Copy full SHA for c79a720

• Move quotes to stop fmt spiral

  prozacchiwawa

  committed
  506ae09

  Copy full SHA for 506ae09

• fix strong clippy warning

  prozacchiwawa

  committed
  34b5a72

  Copy full SHA for 34b5a72

• Loosen f and r on lists

  prozacchiwawa

  committed
  7ebdd26

  Copy full SHA for 7ebdd26

• fmt

  prozacchiwawa

  committed
  8722796

  Copy full SHA for 8722796

• ensure that List and other TApps synthesize their representation for f and r and other destructuring operators

  prozacchiwawa

  committed
  d04a551

  Copy full SHA for d04a551

• fmt

  prozacchiwawa

  committed
  ad22f3c

  Copy full SHA for ad22f3c

• Ensure the repl can use the new type generated helpers

  prozacchiwawa

  committed
  1b9ea84

  Copy full SHA for 1b9ea84

• fmt

  prozacchiwawa

  committed
  8cd9700

  Copy full SHA for 8cd9700

Commits on Jul 28, 2022

• Change (Atom 32) to Atom32

  prozacchiwawa

  committed
  5aadc18

  Copy full SHA for 5aadc18

• fmt

  prozacchiwawa

  committed
  cc559a7

  Copy full SHA for cc559a7

Commits on Jul 29, 2022

• More stuff, changed type application order and added FixedList

  prozacchiwawa

  committed
  a4df5b1

  Copy full SHA for a4df5b1

• Fmt

  prozacchiwawa

  committed
  1373625

  Copy full SHA for 1373625

• Some more fixes, new test, write types.md

  prozacchiwawa

  committed
  93d2d23

  Copy full SHA for 93d2d23

• fmt

  prozacchiwawa

  committed
  a5f65ac

  Copy full SHA for a5f65ac

• Last additions

  prozacchiwawa

  committed
  a9de3a0

  Copy full SHA for a9de3a0

• fix

  prozacchiwawa

  committed
  d338b6d

  Copy full SHA for d338b6d

• fix doc

  prozacchiwawa

  committed
  73aa729

  Copy full SHA for 73aa729

• clean up prose

  prozacchiwawa

  committed
  c0ae901

  Copy full SHA for c0ae901

• Fix

  prozacchiwawa

  committed
  0e6c1ce

  Copy full SHA for 0e6c1ce

Commits on Jul 30, 2022

• File removed

  prozacchiwawa

  committed
  0f01621

  Copy full SHA for 0f01621

Commits on Jul 31, 2022

• Add tests for examples in types.md and more tests that differing structs don't unify. Simplify some parts of compilation and ensure that we have sound definitions of struct types with vars included.

  prozacchiwawa

  committed
  2583a0e

  Copy full SHA for 2583a0e

• fmt

  prozacchiwawa

  committed
  32b9122

  Copy full SHA for 32b9122

• forgotten tag

  prozacchiwawa

  committed
  83d2504

  Copy full SHA for 83d2504

Commits on Aug 20, 2022

• Tweak reify, fix issues in context and other places. De-recurse apply, fix type synthesis in various spots, make solve pass on enhanced context

  prozacchiwawa

  committed
  bc00628

  Copy full SHA for bc00628

• Some additional tests that pin things down

  prozacchiwawa

  committed
  7b8e38f

  Copy full SHA for 7b8e38f

• fmt

  prozacchiwawa

  committed
  002330c

  Copy full SHA for 002330c

• Merge branch 'base' into 20220629-typed-language

  prozacchiwawa

  authored
  db25a58

  Copy full SHA for db25a58

• Update cargo.lock

  prozacchiwawa

  committed
  d643f87

  Copy full SHA for d643f87

Commits on Sep 15, 2022

• bring in base after big clippy merged and purify

  prozacchiwawa

  committed
  2645846

  Copy full SHA for 2645846

• fmt

  prozacchiwawa

  committed
  2b76409

  Copy full SHA for 2b76409

• clippy

  prozacchiwawa

  committed
  55ffa43

  Copy full SHA for 55ffa43

• mirror removed artifacts

  prozacchiwawa

  committed
  17a30ab

  Copy full SHA for 17a30ab

Commits on Oct 27, 2022

• Update to current base

  prozacchiwawa

  committed
  1ecb9b1

  Copy full SHA for 1ecb9b1

Commits on Oct 31, 2022

• pull in base

  prozacchiwawa

  committed
  3d1d114

  Copy full SHA for 3d1d114

Commits on Nov 9, 2022

• Merge up base

  prozacchiwawa

  committed
  782e6cd

  Copy full SHA for 782e6cd

• fmt + clippy

  prozacchiwawa

  committed
  6d91994

  Copy full SHA for 6d91994

• clippy

  prozacchiwawa

  committed
  9fcbb3b

  Copy full SHA for 9fcbb3b

• fmt

  prozacchiwawa

  committed
  1f44130

  Copy full SHA for 1f44130

Commits on Dec 4, 2022

• Pull in base

  prozacchiwawa

  committed
  cff4037

  Copy full SHA for cff4037

Commits on Dec 16, 2022

• Merge up

  prozacchiwawa

  committed
  e00810e

  Copy full SHA for e00810e

• Merge up

  prozacchiwawa

  committed
  4c9a9d9

  Copy full SHA for 4c9a9d9

Commits on Jan 12, 2023

• Merge up

  prozacchiwawa

  committed
  bbcbd7a

  Copy full SHA for bbcbd7a

Commits on Feb 1, 2023

• Merge up

  prozacchiwawa

  committed
  2d48a83

  Copy full SHA for 2d48a83

• fmt + clippy + merge

  prozacchiwawa

  committed
  d46bd94

  Copy full SHA for d46bd94

Commits on Feb 5, 2023

• Merge up

  prozacchiwawa

  committed
  282b65a

  Copy full SHA for 282b65a

• fmt + clippy

  prozacchiwawa

  committed
  b667d14

  Copy full SHA for b667d14

• Lower stack limit for the moment. Will add a trampoline to evaluate

  prozacchiwawa

  committed
  beb655a

  Copy full SHA for beb655a

Commits on Mar 16, 2023

• Merge up

  prozacchiwawa

  committed
  5fd4d59

  Copy full SHA for 5fd4d59

• fmt

  prozacchiwawa

  committed
  0239d3e

  Copy full SHA for 0239d3e

Commits on Apr 6, 2023

• Merge up

  prozacchiwawa

  committed
  cca4617

  Copy full SHA for cca4617

• fmt + clippy

  prozacchiwawa

  committed
  e76ce50

  Copy full SHA for e76ce50

Commits on Apr 19, 2023

• Merge remote-tracking branch 'chia/base' into 20220629-typed-language

  prozacchiwawa

  committed
  4d7874a

  Copy full SHA for 4d7874a

Commits on May 15, 2023

• Merge remote-tracking branch 'chia/base' into 20220629-typed-language

  prozacchiwawa

  committed
  f7f15e4

  Copy full SHA for f7f15e4

• Add coverage

  prozacchiwawa

  committed
  429f107

  Copy full SHA for 429f107

• fmt

  prozacchiwawa

  committed
  92cea6f

  Copy full SHA for 92cea6f

• More coverage

  prozacchiwawa

  committed
  45e1891

  Copy full SHA for 45e1891

• fmt

  prozacchiwawa

  committed
  08d59de

  Copy full SHA for 08d59de

• Test that subtype recognizes that an existential tv subtypes itself with no other context

  prozacchiwawa

  committed
  18b96df

  Copy full SHA for 18b96df

• fmt

  prozacchiwawa

  committed
  7580f51

  Copy full SHA for 7580f51

• More coverage

  prozacchiwawa

  committed
  7bc1dff

  Copy full SHA for 7bc1dff

Commits on May 16, 2023

• More coverage

  prozacchiwawa

  committed
  66b4b03

  Copy full SHA for 66b4b03

• more coverage

  prozacchiwawa

  committed
  1d5f473

  Copy full SHA for 1d5f473

• More coverage

  prozacchiwawa

  committed
  c53ed3f

  Copy full SHA for c53ed3f

• Tighten up theory a bit

  prozacchiwawa

  committed
  15476b3

  Copy full SHA for 15476b3

Commits on Aug 2, 2023

• Merge rest args with types

  prozacchiwawa

  committed
  7f7176f

  Copy full SHA for 7f7176f

• fmt

  prozacchiwawa

  committed
  5e3cc15

  Copy full SHA for 5e3cc15

Commits on Aug 3, 2023

• Merge up

  prozacchiwawa

  committed
  e98c841

  Copy full SHA for e98c841

Commits on Aug 8, 2023

• Merge up base

  prozacchiwawa

  committed
  e6a9c6f

  Copy full SHA for e6a9c6f

Commits on Sep 8, 2023

• Merge up

  prozacchiwawa

  committed
  4fc31c3

  Copy full SHA for 4fc31c3

• fmt + clippy

  prozacchiwawa

  committed
  9ca0d9b

  Copy full SHA for 9ca0d9b

Commits on Sep 13, 2023

• Merge up

  prozacchiwawa

  committed
  5156b7e

  Copy full SHA for 5156b7e

Commits on Sep 14, 2023

• Merge up

  prozacchiwawa

  committed
  5038f8b

  Copy full SHA for 5038f8b

• Merge up

  prozacchiwawa

  committed
  70a4ada

  Copy full SHA for 70a4ada

Commits on Sep 19, 2023

• Merge up

  prozacchiwawa

  committed
  50c475f

  Copy full SHA for 50c475f

Commits on Sep 26, 2023

• Remove unused

  prozacchiwawa

  committed
  d818611

  Copy full SHA for d818611

Commits on Mar 6, 2024

• Almost working (WIP)

  prozacchiwawa

  committed
  b68405a

  Copy full SHA for b68405a

• Merge rebuild of types onto this merge branch

  prozacchiwawa

  committed
  1b4d3c0

  Copy full SHA for 1b4d3c0

• fmt

  prozacchiwawa

  committed
  59cc99e

  Copy full SHA for 59cc99e

• Some dependency updates

  prozacchiwawa

  committed
  654d11a

  Copy full SHA for 654d11a

• Cargo lock update

  prozacchiwawa

  committed
  db74763

  Copy full SHA for db74763

• Add types tests

  prozacchiwawa

  committed
  b990cea

  Copy full SHA for b990cea

• Ensure log init is done everywhere needed

  prozacchiwawa

  committed
  a09c814

  Copy full SHA for a09c814

• Add an initializer to the tests for logging

  prozacchiwawa

  committed
  18accee

  Copy full SHA for 18accee

• Temporary change to verify what's happening in the coverage step

  prozacchiwawa

  committed
  b1b10c3

  Copy full SHA for b1b10c3

• Temporary change to verify what's happening in the coverage step

  prozacchiwawa

  committed
  46d069c

  Copy full SHA for 46d069c

• Merge pull request #70 from Chia-Network/20240305-update-types

  Show description for 51d6f8a
  prozacchiwawa

  authored
  51d6f8a

  Copy full SHA for 51d6f8a

• Do a merge step to fix file heritage

  prozacchiwawa

  committed
  4ef94e4

  Copy full SHA for 4ef94e4

• Upgrade env_logger

  prozacchiwawa

  committed
  7c27408

  Copy full SHA for 7c27408

• Remove dependency on anstream for older/alternate builds

  prozacchiwawa

  committed
  7aec906

  Copy full SHA for 7aec906

• Remove dependency on anstream for older/alternate builds

  prozacchiwawa

  committed
  ed37a37

  Copy full SHA for ed37a37

• Compiler upgrade for most recent version of env_logger

  prozacchiwawa

  committed
  0da8797

  Copy full SHA for 0da8797

• Try specifying rustc version via env

  prozacchiwawa

  committed
  a602aee

  Copy full SHA for a602aee

• Set env_filter version

  prozacchiwawa

  committed
  035d7a0

  Copy full SHA for 035d7a0

• Try specifying 1.71

  prozacchiwawa

  committed
  7d2577b

  Copy full SHA for 7d2577b

• Try upgrading maturin image

  prozacchiwawa

  committed
  18a26b4

  Copy full SHA for 18a26b4

• Same change in extensive tests

  prozacchiwawa

  committed
  89ef972

  Copy full SHA for 89ef972

• Update lock files

  prozacchiwawa

  committed
  552e800

  Copy full SHA for 552e800

Commits on Mar 7, 2024

• Try going back one maturin rev

  prozacchiwawa

  committed
  b4a03e7

  Copy full SHA for b4a03e7

• Try another version ago

  prozacchiwawa

  committed
  13273af

  Copy full SHA for 13273af

• Reset to baseline

  prozacchiwawa

  committed
  1c55fdb

  Copy full SHA for 1c55fdb

• Try without log

  prozacchiwawa

  committed
  81b1b75

  Copy full SHA for 81b1b75

• One update, refresh lock files

  prozacchiwawa

  committed
  8a73d77

  Copy full SHA for 8a73d77

• fmt + clippy

  prozacchiwawa

  committed
  2a7d0bc

  Copy full SHA for 2a7d0bc

• Merge pull request #72 from Chia-Network/20240306-try-without-log

  Show description for 7aa40d4
  prozacchiwawa

  authored
  7aa40d4

  Copy full SHA for 7aa40d4

Commits on Apr 22, 2024

• Merge up

  prozacchiwawa

  committed
  a9c2806

  Copy full SHA for a9c2806

• Merge up

  prozacchiwawa

  committed
  84801f1

  Copy full SHA for 84801f1