Code

Type system crate#27

Code

Merged

Rigidity merged 100 commits intomainxch-dev/rue:mainfrom type-system-cratexch-dev/rue:type-system-crateCopy head branch name to clipboardAug 3, 2024

+5,529-2,932

Commits

Commits on Jul 18, 2024

• Typing crate and workspace dependencies

  Rigidity

  committed
  b342dd2

  Copy full SHA for b342dd2

Commits on Jul 19, 2024

• Prototype new type system

  Rigidity

  committed
  e314575

  Copy full SHA for e314575

• Prototype new check system

  Rigidity

  committed
  6f24cf4

  Copy full SHA for 6f24cf4

• Add Display for Check

  Rigidity

  committed
  8067d60

  Copy full SHA for 8067d60

• Tests passing

  Rigidity

  committed
  49b0104

  Copy full SHA for 49b0104

• Refactor to prevent recursion

  Rigidity

  committed
  b347790

  Copy full SHA for b347790

• More tests

  Rigidity

  committed
  7fd1507

  Copy full SHA for 7fd1507

• Reformat

  Rigidity

  committed
  0fb848d

  Copy full SHA for 0fb848d

• unpossible :)

  Rigidity

  committed
  00af320

  Copy full SHA for 00af320

• Difference and testing

  Rigidity

  committed
  d39d550

  Copy full SHA for d39d550

• Optimize checks

  Rigidity

  committed
  f759737

  Copy full SHA for f759737

• Remove comments

  Rigidity

  committed
  3648b5c

  Copy full SHA for 3648b5c

• Type path

  Rigidity

  committed
  89402fc

  Copy full SHA for 89402fc

Commits on Jul 20, 2024

• Generics maybe

  Rigidity

  committed
  9700bd9

  Copy full SHA for 9700bd9

• Allegedly add aliases

  Rigidity

  committed
  01b60bb

  Copy full SHA for 01b60bb

• Remove build hasher

  Rigidity

  committed
  b844f7a

  Copy full SHA for b844f7a

• Factor

  Rigidity

  committed
  dc15630

  Copy full SHA for dc15630

• Add stringification

  Rigidity

  committed
  0f9ff29

  Copy full SHA for 0f9ff29

• WIP

  Rigidity

  committed
  042cc83

  Copy full SHA for 042cc83

Commits on Jul 22, 2024

• Tests passing

  Rigidity

  committed
  55c09c3

  Copy full SHA for 55c09c3

• Factor out simplify_check

  Rigidity

  committed
  bdb0200

  Copy full SHA for bdb0200

• Factor part 1

  Rigidity

  committed
  4a69c4b

  Copy full SHA for 4a69c4b

• Multiple files

  Rigidity

  committed
  d95d738

  Copy full SHA for d95d738

• Factor out shape checks

  Rigidity

  committed
  4e24d7f

  Copy full SHA for 4e24d7f

• Move simplify and tests

  Rigidity

  committed
  d32e072

  Copy full SHA for d32e072

• More tests

  Rigidity

  committed
  0ff446e

  Copy full SHA for 0ff446e

Commits on Jul 23, 2024

• Refactor or

  Rigidity

  committed
  aa8a642

  Copy full SHA for aa8a642

• Bug fix

  Rigidity

  committed
  7a03c5e

  Copy full SHA for 7a03c5e

• Simplify

  Rigidity

  committed
  45410d1

  Copy full SHA for 45410d1

• Move stringify check out

  Rigidity

  committed
  8257428

  Copy full SHA for 8257428

• Add comparison tests

  Rigidity

  committed
  56f253e

  Copy full SHA for 56f253e

• Add pair tests

  Rigidity

  committed
  157a82b

  Copy full SHA for 157a82b

• Generic inference test

  Rigidity

  committed
  e7e434e

  Copy full SHA for e7e434e

• Refactor other functions

  Rigidity

  committed
  4d042d8

  Copy full SHA for 4d042d8

• Remove main.sym

  Rigidity

  committed
  f9ec679

  Copy full SHA for f9ec679

• Split f and r

  Rigidity

  committed
  2336abe

  Copy full SHA for 2336abe

• Check any point

  Rigidity

  committed
  665852f

  Copy full SHA for 665852f

• Structs

  Rigidity

  committed
  ce3cca3

  Copy full SHA for ce3cca3

• Callable

  Rigidity

  committed
  a963569

  Copy full SHA for a963569

• Callable 2

  Rigidity

  committed
  7217c4e

  Copy full SHA for 7217c4e

• Move check_type

  Rigidity

  committed
  86f2dc9

  Copy full SHA for 86f2dc9

• Value check

  Rigidity

  committed
  cdae353

  Copy full SHA for cdae353

• Organize import

  Rigidity

  committed
  cb3a7d0

  Copy full SHA for cb3a7d0

• Rename tests

  Rigidity

  committed
  24758e2

  Copy full SHA for 24758e2

• Move

  Rigidity

  committed
  430d639

  Copy full SHA for 430d639

• Fix callable

  Rigidity

  committed
  2f251ae

  Copy full SHA for 2f251ae

• Temp

  Rigidity

  committed
  4ad0e11

  Copy full SHA for 4ad0e11

• Temp 2

  Rigidity

  committed
  e4004d5

  Copy full SHA for e4004d5

• Temp

  Rigidity

  committed
  d189bf1

  Copy full SHA for d189bf1

• Refactor attributes

  Rigidity

  committed
  606426a

  Copy full SHA for 606426a

• Refactor and remove impossible

  Rigidity

  committed
  c833a00

  Copy full SHA for c833a00

• Add enums and variants

  Rigidity

  committed
  41bd46b

  Copy full SHA for 41bd46b

• Dependency

  Rigidity

  committed
  0591b69

  Copy full SHA for 0591b69

• Temp 1

  Rigidity

  committed
  0aab1c0

  Copy full SHA for 0aab1c0

• Temp 2

  Rigidity

  committed
  b610217

  Copy full SHA for b610217

• Temp 3

  Rigidity

  committed
  9f0ccd9

  Copy full SHA for 9f0ccd9

• Temp 4

  Rigidity

  committed
  633fe23

  Copy full SHA for 633fe23

• Temp 5

  Rigidity

  committed
  ae039bb

  Copy full SHA for ae039bb

• Temp 6

  Rigidity

  committed
  563cd4f

  Copy full SHA for 563cd4f

• Temp 7

  Rigidity

  committed
  7313c52

  Copy full SHA for 7313c52

• Add construction and deconstruction

  Rigidity

  committed
  8bd10ae

  Copy full SHA for 8bd10ae

• Temp 8

  Rigidity

  committed
  564e397

  Copy full SHA for 564e397

• Temp 9

  Rigidity

  committed
  15b8c4f

  Copy full SHA for 15b8c4f

• TEMP FINISH (NOT FINISHED)

  Rigidity

  committed
  f10a4c8

  Copy full SHA for f10a4c8

• More worky

  Rigidity

  committed
  070730e

  Copy full SHA for 070730e

• Add another test

  Rigidity

  committed
  34fe9d0

  Copy full SHA for 34fe9d0

Commits on Jul 24, 2024

• Temp

  Rigidity

  committed
  4beecba

  Copy full SHA for 4beecba

• Temp

  Rigidity

  committed
  3d660ba

  Copy full SHA for 3d660ba

Commits on Jul 25, 2024

• Any type

  Rigidity

  committed
  88699be

  Copy full SHA for 88699be

• Refactor comparison

  Rigidity

  committed
  dd9dd8c

  Copy full SHA for dd9dd8c

• Bug fix

  Rigidity

  committed
  8e11053

  Copy full SHA for 8e11053

• More bug fixes

  Rigidity

  committed
  05e9d23

  Copy full SHA for 05e9d23

• Add tests for structs

  Rigidity

  committed
  968111e

  Copy full SHA for 968111e

• Overhaul

  Rigidity

  committed
  517b1c3

  Copy full SHA for 517b1c3

• Fix

  Rigidity

  committed
  0fb17d4

  Copy full SHA for 0fb17d4

• Fixes 1

  Rigidity

  committed
  1a2c3e1

  Copy full SHA for 1a2c3e1

Commits on Jul 26, 2024

• Fixes

  Rigidity

  committed
  cf97d88

  Copy full SHA for cf97d88

• Fixes

  Rigidity

  committed
  135f459

  Copy full SHA for 135f459

• Temp fix, I need more tests

  Rigidity

  committed
  57c0f69

  Copy full SHA for 57c0f69

• Remove panics

  Rigidity

  committed
  ad7a304

  Copy full SHA for ad7a304

• Fix bug

  Rigidity

  committed
  4baf36e

  Copy full SHA for 4baf36e

• Next

  Rigidity

  committed
  9f59957

  Copy full SHA for 9f59957

Commits on Jul 27, 2024

• More progress

  Rigidity

  committed
  84a4a49

  Copy full SHA for 84a4a49

• Remove optional

  Rigidity

  committed
  db75506

  Copy full SHA for db75506

Commits on Jul 31, 2024

• Fix generic inference

  Rigidity

  committed
  24ca4fd

  Copy full SHA for 24ca4fd

Commits on Aug 1, 2024

• Temp

  Rigidity

  committed
  e2708f7

  Copy full SHA for e2708f7

• Temp

  Rigidity

  committed
  ab851f4

  Copy full SHA for ab851f4

• Update tests

  Rigidity

  committed
  e05f13e

  Copy full SHA for e05f13e

• Fix unknown

  Rigidity

  committed
  05d18a0

  Copy full SHA for 05d18a0

Commits on Aug 2, 2024

• Temp

  Rigidity

  committed
  f0447a1

  Copy full SHA for f0447a1

• Remove superset for performance

  Rigidity

  committed
  ae9fc62

  Copy full SHA for ae9fc62

• Fix bug

  Rigidity

  committed
  91c95b4

  Copy full SHA for 91c95b4

• Next phase

  Rigidity

  committed
  7873258

  Copy full SHA for 7873258

Commits on Aug 3, 2024

• HashSet

  Rigidity

  committed
  a293329

  Copy full SHA for a293329

• Rename files

  Rigidity

  committed
  0acb1d7

  Copy full SHA for 0acb1d7

• Rename compare

  Rigidity

  committed
  11c220d

  Copy full SHA for 11c220d

• Initial simplification of type guards

  Rigidity

  committed
  9557f08

  Copy full SHA for 9557f08

• Fix

  Rigidity

  committed
  56204e2

  Copy full SHA for 56204e2

• Fix priority

  Rigidity

  committed
  6eff77e

  Copy full SHA for 6eff77e

• One more

  Rigidity

  committed
  e80eee2

  Copy full SHA for e80eee2