Code

Implement Labeled Tuples#1235

Code

Draft

WondAli wants to merge 120 commits intodevhazelgrove/hazel:devfrom labeled-tuple-rewritehazelgrove/hazel:labeled-tuple-rewriteCopy head branch name to clipboard

+5,305-763

Commits

Commits on Feb 23, 2024

• labeled tuple rewrite

  WondAli

  committed
  3d2a351

• Merge branch 'dev' into labeled-tuple-rewrite

  WondAli

  committed
  6889f4f

Commits on Mar 23, 2024

• working dot operator + bug fixes to precedence

  WondAli

  committed
  c137ded

Commits on Mar 31, 2024

• may need to revert some tuplabel code since no longer consistent with wrapped element

  WondAli

  committed
  5af500f

Commits on Apr 13, 2024

• allow for unmatched labels in one direction

  WondAli

  committed
  9927605

Commits on Apr 22, 2024

• updated casting for labels

  WondAli

  committed
  55500e6

Commits on Apr 25, 2024

• left-associativity for dot operator

  WondAli

  committed
  f08c114

• dot now treats labels as tuples of size 1

  WondAli

  committed
  7ab1470

Commits on Apr 28, 2024

• multiple bug fixes and implemented labels as function arguments. TODO: optimize hacks for cleaner code, fix more bugs

  WondAli

  committed
  1cdeb3a

Commits on Jun 7, 2024

• code cleanup, quality improvement. Also fixes to casting (mostly)

  WondAli

  committed
  0598c9c

• casting bug fix

  WondAli

  committed
  b3e7c84

• merged with dev

  WondAli

  committed
  dfdf051

Commits on Jun 25, 2024

• minor changes to dot in statics and matching

  WondAli

  committed
  07275db

Commits on Jun 28, 2024

• standalone labels as singleton tuples + shifting error handling for unmatched labels in function parameters

  WondAli

  committed
  44841b8

Commits on Jul 3, 2024

• fixed bug concerning rearranging function arguments

  WondAli

  committed
  56d9a50

Commits on Jul 30, 2024

• documentation in progress

  WondAli

  committed
  3d294dd

Commits on Jul 31, 2024

• merge complete

  WondAli

  committed
  cbe3125

Commits on Aug 8, 2024

• renamed some variables to be more accurate

  WondAli

  committed
  e0952df

Commits on Aug 12, 2024

• dot operator update

  WondAli

  committed
  bf1137c

Commits on Aug 16, 2024

• dot operator static fixes

  WondAli

  committed
  9ab0f49

Commits on Aug 23, 2024

• Creation of Label term, bug fixes, documentation updates

  WondAli

  committed
  db194f8

Commits on Aug 24, 2024

• fixes to labeled expressions as singleton tuples

  WondAli

  committed
  c20706a

• minor test_elaboration update

  WondAli

  committed
  fe24986

Commits on Aug 27, 2024

• singleton tuple fixes

  WondAli

  committed
  773fa9b

• fix statics to check for mismatched labels

  WondAli

  committed
  e76f5e2

Commits on Aug 28, 2024

• fix to let elaboration so that dot operators operate on annotated types for annotated variables

  WondAli

  committed
  a802eb7

Commits on Sep 12, 2024

• merge (not working)

  WondAli

  committed
  65eec8e

Commits on Sep 13, 2024

• fix to precedence and cast ground_caes_of

  WondAli

  committed
  4753f3f

• elaborator fixes

  WondAli

  committed
  cae4bb5

• updated parser for dot operator

  WondAli

  committed
  bc22754

Commits on Sep 20, 2024

• debug

  7h3kk1d

  committed
  e810400

Commits on Sep 21, 2024

• Temp commit

  7h3kk1d

  committed
  840f06f

• Add rearrange2

  7h3kk1d

  committed
  58fc12c

• I got some version of elaboration working

  7h3kk1d

  committed
  2b1eda8

• Fix formatting

  7h3kk1d

  committed
  2be5a46

Commits on Sep 23, 2024

• Cleanup

  7h3kk1d

  committed
  f7a2666

• Revert makefile changes

  7h3kk1d

  committed
  a2c34df

• Cleanup debugging code

  7h3kk1d

  committed
  50536fe

• More cleanup

  7h3kk1d

  committed
  4226bb4

• Got a version of evaluation to work

  Show description for 8eef13c
  

  7h3kk1d

  and

  Negabinary

  committed
  8eef13c

Commits on Sep 27, 2024

• Stop elaborating labels in Dot

  7h3kk1d

  committed
  998caeb

• updates to elaboration, label extraction, ap in progress

  WondAli

  committed
  000b853

• merged with labeled-tuple-rewrite

  WondAli

  committed
  76247f0

• Missing labeled tuple labels elboration (#1399)

  WondAli

  authored
  8379dec

• cleaned LabeledTuple util file

  WondAli

  committed
  d5dfa8f

Commits on Sep 29, 2024

• Rearranging does not occur past elaboration. Functions reworked to always have labeled tuple arguments past elaboration. Currently not passing tests because of errors with singleton labeled tuples

  WondAli

  committed
  7d707c9

Commits on Oct 2, 2024

• Add support for fast_equal on TupLabel expressions

  7h3kk1d

  committed
  20c51f9

• Add test for elaboration adding labels to labeled tuples

  7h3kk1d

  committed
  49c11d9

• Inline expectation

  7h3kk1d

  committed
  38b10c1

• Fix typos

  7h3kk1d

  committed
  c315caa

• Add test for rearranging labels during elaboration

  7h3kk1d

  committed
  5707718

• Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite

  7h3kk1d

  committed
  e4fb061

• Add test for labeled tuple projection evaluation

  7h3kk1d

  committed
  8d6528e

• Add statics test for labeled parameter in function

  7h3kk1d

  committed
  a5c83bc

Commits on Oct 4, 2024

• Added tests to assure that types are inconsistent when unlabeled variable is appleid to labels

  7h3kk1d

  committed
  f4d778e

• removed function implicit labelling and rearranging in type consistency join

  WondAli

  committed
  32173ea

Commits on Oct 11, 2024

• Add basic elaboration tests for singleton tuples

  7h3kk1d

  committed
  318cfb3

• Modify singleton labeled tuple elaboration

  7h3kk1d

  committed
  c8ef191

• Add parser tests for singleton tuples

  7h3kk1d

  committed
  22cd8d6

• Wrap all tuplabels in tuples in parser

  7h3kk1d

  committed
  f04c976

• Remove is_contained logic

  Show description for 78e817c
  

  7h3kk1d

  and

  WondAli

  committed
  78e817c

Commits on Oct 13, 2024

• More tests

  7h3kk1d

  committed
  7008809

• Add assertions that there's no static errors in static tests

  7h3kk1d

  committed
  59ff548

• Merge branch 'dev' into labeled-tuple-rewrite

  7h3kk1d

  authored
  158a62d

• Ensure more tests are fully consistent

  7h3kk1d

  committed
  0669d9c

• Stop recalculating statics in tests

  7h3kk1d

  committed
  c27642b

• Add support for displaying TupLabel with label and type in view_ty function

  7h3kk1d

  committed
  bcd9fe2

Commits on Oct 14, 2024

• Add labeled tuples doc page

  7h3kk1d

  committed
  926c5c7

• revert scratch file

  7h3kk1d

  committed
  5f790cb

• Revert init.ml

  7h3kk1d

  committed
  39cbba1

• Add sdocumentation page for labeled tuples

  7h3kk1d

  committed
  b242321

• Tests for multiple labels

  7h3kk1d

  committed
  de85c69

• Update Makefile to include dev profile in watch-test

  7h3kk1d

  committed
  3c36566

• Add test case for singleton labeled tuple adding label

  7h3kk1d

  committed
  72b4cac

• Make labeled tuple not need parens in display

  7h3kk1d

  committed
  828da51

• Add test case for let statement that adds labels during elaboration

  7h3kk1d

  committed
  7688a2b

• Add support for lifting single values into a singleton labeled tuple when the label is not present

  7h3kk1d

  committed
  c86e5f0

• Refmt

  7h3kk1d

  committed
  dac5119

• Additional test for singleton labels

  7h3kk1d

  committed
  3420d2c

• SIngleton labels kind of work

  7h3kk1d

  committed
  1fa320c

• Remove singleton product from type view

  7h3kk1d

  committed
  c87048d

Commits on Oct 15, 2024

• Fix the duplicate singleton label statics

  7h3kk1d

  committed
  01f84c5

• Fix stack overflow

  7h3kk1d

  committed
  e018126

• Fix warning in test statics

  7h3kk1d

  committed
  11804a2

• First attempt singleton labeled tuple elaboration

  7h3kk1d

  committed
  523177e

Commits on Oct 16, 2024

• Remove debug comment

  7h3kk1d

  committed
  c4db0d0

• Fix test

  7h3kk1d

  committed
  03208ff

• More singleton label elaborator fixes

  7h3kk1d

  committed
  0f8521a

Commits on Oct 18, 2024

• Update init

  7h3kk1d

  committed
  1bee9bb

• Add tests for singleton labeled argument function application

  7h3kk1d

  committed
  e66dd80

Commits on Oct 21, 2024

• Progress on elaborating singleton tuples with mismatched labels

  7h3kk1d

  committed
  b42c613

• Fix warnings

  7h3kk1d

  committed
  9a918ef

Commits on Oct 30, 2024

• Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite

  7h3kk1d

  committed
  a603ae7

Commits on Oct 31, 2024

• Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite

  7h3kk1d

  committed
  61937e7

• Closer to getting singleton labeled tuples to work

  7h3kk1d

  committed
  d88395e

Commits on Nov 1, 2024

• Fix unused warnings

  7h3kk1d

  committed
  7c5abb5

• Errored statuses showed up right

  7h3kk1d

  committed
  d163367

• Extract functions to be slightly more legible

  7h3kk1d

  committed
  0343f51

• Merge branch 'dev' into labeled-tuple-rewrite

  7h3kk1d

  authored
  8d3d3e6

Commits on Nov 4, 2024

• Fixed singleton labeled tuple in function application

  7h3kk1d

  committed
  12eef70

• Fix statics test

  7h3kk1d

  committed
  868ed9b

Commits on Nov 7, 2024

• Merge remote-tracking branch 'origin/dev' into labeled-tuple-rewrite

  7h3kk1d

  committed
  effab75

Commits on Nov 8, 2024

• Add some information on the lifted type to the cursor inspector

  7h3kk1d

  committed
  d1cd408

Commits on Nov 10, 2024

• label uniqueness checking

  WondAli

  committed
  ece70b4

Commits on Nov 15, 2024

• Start elaborating singleton labeled tuple patterns

  7h3kk1d

  committed
  3624020

• Singleton labeled tuple pattern elaboration disabled under ascription

  7h3kk1d

  committed
  ecbd7ce

• Fix assertions

  7h3kk1d

  committed
  24de2fa

• Stop debugging

  7h3kk1d

  committed
  58029ad

• Remove unnecessary module name

  7h3kk1d

  committed
  69fb726

• Fix tests and strip casts out of some of the tests

  7h3kk1d

  committed
  4a78f89

Commits on Nov 18, 2024

• Bugfix: statics now check that the first argument in a TupLabel is a Label

  WondAli

  committed
  30e3b9c

• Progress on improving cursor inspector for automatic labelling

  7h3kk1d

  committed
  5529383

• Fix unused module open

  7h3kk1d

  committed
  4a8776c

• Add sugar to info

  7h3kk1d

  committed
  7166f28

Commits on Nov 25, 2024

• Add more labeling information to cursor inspector

  7h3kk1d

  committed
  6e71d52

Commits on Nov 26, 2024

• Add pattern labels to cursor inspector

  7h3kk1d

  committed
  ddaaaa9

• Remove lifted_ty from Info types

  7h3kk1d

  committed
  88931f4

Commits on Dec 5, 2024

• Cursor inspector changes

  7h3kk1d

  committed
  3a96a5a

Commits on Dec 6, 2024

• updated dot operator to use labels

  WondAli

  committed
  68f85ab

Commits on Dec 10, 2024

• Fix cursor inspector message

  7h3kk1d

  committed
  bd36673