Code

Implement Labeled Tuples#1235

Code

Draft

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

+5,722-749

Commits

Commits on Feb 23, 2024

• labeled tuple rewrite

  WondAli

  committed
  3d2a351

  Copy full SHA for 3d2a351

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

  WondAli

  committed
  6889f4f

  Copy full SHA for 6889f4f

Commits on Mar 23, 2024

• working dot operator + bug fixes to precedence

  WondAli

  committed
  c137ded

  Copy full SHA for c137ded

Commits on Mar 31, 2024

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

  WondAli

  committed
  5af500f

  Copy full SHA for 5af500f

Commits on Apr 13, 2024

• allow for unmatched labels in one direction

  WondAli

  committed
  9927605

  Copy full SHA for 9927605

Commits on Apr 22, 2024

• updated casting for labels

  WondAli

  committed
  55500e6

  Copy full SHA for 55500e6

Commits on Apr 25, 2024

• left-associativity for dot operator

  WondAli

  committed
  f08c114

  Copy full SHA for f08c114

• dot now treats labels as tuples of size 1

  WondAli

  committed
  7ab1470

  Copy full SHA for 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

  Copy full SHA for 1cdeb3a

Commits on Jun 7, 2024

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

  WondAli

  committed
  0598c9c

  Copy full SHA for 0598c9c

• casting bug fix

  WondAli

  committed
  b3e7c84

  Copy full SHA for b3e7c84

• merged with dev

  WondAli

  committed
  dfdf051

  Copy full SHA for dfdf051

Commits on Jun 25, 2024

• minor changes to dot in statics and matching

  WondAli

  committed
  07275db

  Copy full SHA for 07275db

Commits on Jun 28, 2024

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

  WondAli

  committed
  44841b8

  Copy full SHA for 44841b8

Commits on Jul 3, 2024

• fixed bug concerning rearranging function arguments

  WondAli

  committed
  56d9a50

  Copy full SHA for 56d9a50

Commits on Jul 30, 2024

• documentation in progress

  WondAli

  committed
  3d294dd

  Copy full SHA for 3d294dd

Commits on Jul 31, 2024

• merge complete

  WondAli

  committed
  cbe3125

  Copy full SHA for cbe3125

Commits on Aug 8, 2024

• renamed some variables to be more accurate

  WondAli

  committed
  e0952df

  Copy full SHA for e0952df

Commits on Aug 12, 2024

• dot operator update

  WondAli

  committed
  bf1137c

  Copy full SHA for bf1137c

Commits on Aug 16, 2024

• dot operator static fixes

  WondAli

  committed
  9ab0f49

  Copy full SHA for 9ab0f49

Commits on Aug 23, 2024

• Creation of Label term, bug fixes, documentation updates

  WondAli

  committed
  db194f8

  Copy full SHA for db194f8

Commits on Aug 24, 2024

• fixes to labeled expressions as singleton tuples

  WondAli

  committed
  c20706a

  Copy full SHA for c20706a

• minor test_elaboration update

  WondAli

  committed
  fe24986

  Copy full SHA for fe24986

Commits on Aug 27, 2024

• singleton tuple fixes

  WondAli

  committed
  773fa9b

  Copy full SHA for 773fa9b

• fix statics to check for mismatched labels

  WondAli

  committed
  e76f5e2

  Copy full SHA for e76f5e2

Commits on Aug 28, 2024

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

  WondAli

  committed
  a802eb7

  Copy full SHA for a802eb7

Commits on Sep 12, 2024

• merge (not working)

  WondAli

  committed
  65eec8e

  Copy full SHA for 65eec8e

Commits on Sep 13, 2024

• fix to precedence and cast ground_caes_of

  WondAli

  committed
  4753f3f

  Copy full SHA for 4753f3f

• elaborator fixes

  WondAli

  committed
  cae4bb5

  Copy full SHA for cae4bb5

• updated parser for dot operator

  WondAli

  committed
  bc22754

  Copy full SHA for bc22754

Commits on Sep 20, 2024

• debug

  7h3kk1d

  committed
  e810400

  Copy full SHA for e810400

Commits on Sep 21, 2024

• Temp commit

  7h3kk1d

  committed
  840f06f

  Copy full SHA for 840f06f

• Add rearrange2

  7h3kk1d

  committed
  58fc12c

  Copy full SHA for 58fc12c

• I got some version of elaboration working

  7h3kk1d

  committed
  2b1eda8

  Copy full SHA for 2b1eda8

• Fix formatting

  7h3kk1d

  committed
  2be5a46

  Copy full SHA for 2be5a46

Commits on Sep 23, 2024

• Cleanup

  7h3kk1d

  committed
  f7a2666

  Copy full SHA for f7a2666

• Revert makefile changes

  7h3kk1d

  committed
  a2c34df

  Copy full SHA for a2c34df

• Cleanup debugging code

  7h3kk1d

  committed
  50536fe

  Copy full SHA for 50536fe

• More cleanup

  7h3kk1d

  committed
  4226bb4

  Copy full SHA for 4226bb4

• Got a version of evaluation to work

  Show description for 8eef13c
  

  7h3kk1d

  and

  Negabinary

  committed
  8eef13c

  Copy full SHA for 8eef13c

Commits on Sep 27, 2024

• Stop elaborating labels in Dot

  7h3kk1d

  committed
  998caeb

  Copy full SHA for 998caeb

• updates to elaboration, label extraction, ap in progress

  WondAli

  committed
  000b853

  Copy full SHA for 000b853

• merged with labeled-tuple-rewrite

  WondAli

  committed
  76247f0

  Copy full SHA for 76247f0

• Missing labeled tuple labels elboration (#1399)

  WondAli

  authored
  8379dec

  Copy full SHA for 8379dec

• cleaned LabeledTuple util file

  WondAli

  committed
  d5dfa8f

  Copy full SHA for 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

  Copy full SHA for 7d707c9

Commits on Oct 2, 2024

• Add support for fast_equal on TupLabel expressions

  7h3kk1d

  committed
  20c51f9

  Copy full SHA for 20c51f9

• Add test for elaboration adding labels to labeled tuples

  7h3kk1d

  committed
  49c11d9

  Copy full SHA for 49c11d9

• Inline expectation

  7h3kk1d

  committed
  38b10c1

  Copy full SHA for 38b10c1

• Fix typos

  7h3kk1d

  committed
  c315caa

  Copy full SHA for c315caa

• Add test for rearranging labels during elaboration

  7h3kk1d

  committed
  5707718

  Copy full SHA for 5707718

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

  7h3kk1d

  committed
  e4fb061

  Copy full SHA for e4fb061

• Add test for labeled tuple projection evaluation

  7h3kk1d

  committed
  8d6528e

  Copy full SHA for 8d6528e

• Add statics test for labeled parameter in function

  7h3kk1d

  committed
  a5c83bc

  Copy full SHA for a5c83bc

Commits on Oct 4, 2024

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

  7h3kk1d

  committed
  f4d778e

  Copy full SHA for f4d778e

• removed function implicit labelling and rearranging in type consistency join

  WondAli

  committed
  32173ea

  Copy full SHA for 32173ea

Commits on Oct 11, 2024

• Add basic elaboration tests for singleton tuples

  7h3kk1d

  committed
  318cfb3

  Copy full SHA for 318cfb3

• Modify singleton labeled tuple elaboration

  7h3kk1d

  committed
  c8ef191

  Copy full SHA for c8ef191

• Add parser tests for singleton tuples

  7h3kk1d

  committed
  22cd8d6

  Copy full SHA for 22cd8d6

• Wrap all tuplabels in tuples in parser

  7h3kk1d

  committed
  f04c976

  Copy full SHA for f04c976

• Remove is_contained logic

  Show description for 78e817c
  

  7h3kk1d

  and

  WondAli

  committed
  78e817c

  Copy full SHA for 78e817c

Commits on Oct 13, 2024

• More tests

  7h3kk1d

  committed
  7008809

  Copy full SHA for 7008809

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

  7h3kk1d

  committed
  59ff548

  Copy full SHA for 59ff548

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

  7h3kk1d

  authored
  158a62d

  Copy full SHA for 158a62d

• Ensure more tests are fully consistent

  7h3kk1d

  committed
  0669d9c

  Copy full SHA for 0669d9c

• Stop recalculating statics in tests

  7h3kk1d

  committed
  c27642b

  Copy full SHA for c27642b

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

  7h3kk1d

  committed
  bcd9fe2

  Copy full SHA for bcd9fe2

Commits on Oct 14, 2024

• Add labeled tuples doc page

  7h3kk1d

  committed
  926c5c7

  Copy full SHA for 926c5c7

• revert scratch file

  7h3kk1d

  committed
  5f790cb

  Copy full SHA for 5f790cb

• Revert init.ml

  7h3kk1d

  committed
  39cbba1

  Copy full SHA for 39cbba1

• Add sdocumentation page for labeled tuples

  7h3kk1d

  committed
  b242321

  Copy full SHA for b242321

• Tests for multiple labels

  7h3kk1d

  committed
  de85c69

  Copy full SHA for de85c69

• Update Makefile to include dev profile in watch-test

  7h3kk1d

  committed
  3c36566

  Copy full SHA for 3c36566

• Add test case for singleton labeled tuple adding label

  7h3kk1d

  committed
  72b4cac

  Copy full SHA for 72b4cac

• Make labeled tuple not need parens in display

  7h3kk1d

  committed
  828da51

  Copy full SHA for 828da51

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

  7h3kk1d

  committed
  7688a2b

  Copy full SHA for 7688a2b

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

  7h3kk1d

  committed
  c86e5f0

  Copy full SHA for c86e5f0

• Refmt

  7h3kk1d

  committed
  dac5119

  Copy full SHA for dac5119

• Additional test for singleton labels

  7h3kk1d

  committed
  3420d2c

  Copy full SHA for 3420d2c

• SIngleton labels kind of work

  7h3kk1d

  committed
  1fa320c

  Copy full SHA for 1fa320c

• Remove singleton product from type view

  7h3kk1d

  committed
  c87048d

  Copy full SHA for c87048d

Commits on Oct 15, 2024

• Fix the duplicate singleton label statics

  7h3kk1d

  committed
  01f84c5

  Copy full SHA for 01f84c5

• Fix stack overflow

  7h3kk1d

  committed
  e018126

  Copy full SHA for e018126

• Fix warning in test statics

  7h3kk1d

  committed
  11804a2

  Copy full SHA for 11804a2

• First attempt singleton labeled tuple elaboration

  7h3kk1d

  committed
  523177e

  Copy full SHA for 523177e

Commits on Oct 16, 2024

• Remove debug comment

  7h3kk1d

  committed
  c4db0d0

  Copy full SHA for c4db0d0

• Fix test

  7h3kk1d

  committed
  03208ff

  Copy full SHA for 03208ff

• More singleton label elaborator fixes

  7h3kk1d

  committed
  0f8521a

  Copy full SHA for 0f8521a

Commits on Oct 18, 2024

• Update init

  7h3kk1d

  committed
  1bee9bb

  Copy full SHA for 1bee9bb

• Add tests for singleton labeled argument function application

  7h3kk1d

  committed
  e66dd80

  Copy full SHA for e66dd80

Commits on Oct 21, 2024

• Progress on elaborating singleton tuples with mismatched labels

  7h3kk1d

  committed
  b42c613

  Copy full SHA for b42c613

• Fix warnings

  7h3kk1d

  committed
  9a918ef

  Copy full SHA for 9a918ef

Commits on Oct 30, 2024

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

  7h3kk1d

  committed
  a603ae7

  Copy full SHA for a603ae7

Commits on Oct 31, 2024

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

  7h3kk1d

  committed
  61937e7

  Copy full SHA for 61937e7

• Closer to getting singleton labeled tuples to work

  7h3kk1d

  committed
  d88395e

  Copy full SHA for d88395e

Commits on Nov 1, 2024

• Fix unused warnings

  7h3kk1d

  committed
  7c5abb5

  Copy full SHA for 7c5abb5

• Errored statuses showed up right

  7h3kk1d

  committed
  d163367

  Copy full SHA for d163367

• Extract functions to be slightly more legible

  7h3kk1d

  committed
  0343f51

  Copy full SHA for 0343f51

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

  7h3kk1d

  authored
  8d3d3e6

  Copy full SHA for 8d3d3e6

Commits on Nov 4, 2024

• Fixed singleton labeled tuple in function application

  7h3kk1d

  committed
  12eef70

  Copy full SHA for 12eef70

• Fix statics test

  7h3kk1d

  committed
  868ed9b

  Copy full SHA for 868ed9b

Commits on Nov 7, 2024

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

  7h3kk1d

  committed
  effab75

  Copy full SHA for effab75

Commits on Nov 8, 2024

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

  7h3kk1d

  committed
  d1cd408

  Copy full SHA for d1cd408

Commits on Nov 10, 2024

• label uniqueness checking

  WondAli

  committed
  ece70b4

  Copy full SHA for ece70b4

Commits on Nov 15, 2024

• Start elaborating singleton labeled tuple patterns

  7h3kk1d

  committed
  3624020

  Copy full SHA for 3624020

• Singleton labeled tuple pattern elaboration disabled under ascription

  7h3kk1d

  committed
  ecbd7ce

  Copy full SHA for ecbd7ce

• Fix assertions

  7h3kk1d

  committed
  24de2fa

  Copy full SHA for 24de2fa

• Stop debugging

  7h3kk1d

  committed
  58029ad

  Copy full SHA for 58029ad

• Remove unnecessary module name

  7h3kk1d

  committed
  69fb726

  Copy full SHA for 69fb726

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

  7h3kk1d

  committed
  4a78f89

  Copy full SHA for 4a78f89

Commits on Nov 18, 2024

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

  WondAli

  committed
  30e3b9c

  Copy full SHA for 30e3b9c

• Progress on improving cursor inspector for automatic labelling

  7h3kk1d

  committed
  5529383

  Copy full SHA for 5529383

• Fix unused module open

  7h3kk1d

  committed
  4a8776c

  Copy full SHA for 4a8776c

• Add sugar to info

  7h3kk1d

  committed
  7166f28

  Copy full SHA for 7166f28

Commits on Nov 25, 2024

• Add more labeling information to cursor inspector

  7h3kk1d

  committed
  6e71d52

  Copy full SHA for 6e71d52

Commits on Nov 26, 2024

• Add pattern labels to cursor inspector

  7h3kk1d

  committed
  ddaaaa9

  Copy full SHA for ddaaaa9

• Remove lifted_ty from Info types

  7h3kk1d

  committed
  88931f4

  Copy full SHA for 88931f4

Commits on Dec 5, 2024

• Cursor inspector changes

  7h3kk1d

  committed
  3a96a5a

  Copy full SHA for 3a96a5a

Commits on Dec 6, 2024

• updated dot operator to use labels

  WondAli

  committed
  68f85ab

  Copy full SHA for 68f85ab

Commits on Dec 10, 2024

• Fix cursor inspector message

  7h3kk1d

  committed
  bd36673

  Copy full SHA for bd36673

Commits on Dec 27, 2024

• Use unelaborated syntax for ExplainThis

  7h3kk1d

  committed
  7158c4a

  Copy full SHA for 7158c4a

• Progress on cursor inspector for pattern singleton elaboration

  7h3kk1d

  committed
  fdb8a5e

  Copy full SHA for fdb8a5e

Commits on Dec 30, 2024

• Update Label view to include label name in type representation

  7h3kk1d

  committed
  9b437b4

  Copy full SHA for 9b437b4

Commits on Jan 3, 2025

• updated cursor view

  WondAli

  committed
  694d904

  Copy full SHA for 694d904

Commits on Jan 6, 2025

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

  7h3kk1d

  committed
  8774ec0

  Copy full SHA for 8774ec0

• Start Test_ExpToSegment

  7h3kk1d

  committed
  0491273

  Copy full SHA for 0491273

• Some ExpToSegment issues

  7h3kk1d

  committed
  8cf761f

  Copy full SHA for 8cf761f

Commits on Jan 7, 2025

• Add parse_and_evaluate function and update tests for multiple labels in tuples

  7h3kk1d

  committed
  3407529

  Copy full SHA for 3407529

• Add equality check for Dot labels in fast_equal function

  7h3kk1d

  committed
  b1ad1b2

  Copy full SHA for b1ad1b2

• Add test case for labeled tuple field access in evaluation

  7h3kk1d

  committed
  75139c8

  Copy full SHA for 75139c8

• TEMP COMMIT precedence fixes

  Show description for c9fd566
  7h3kk1d

  committed
  c9fd566

  Copy full SHA for c9fd566

• Change test to be consistent with ExpToSegment

  7h3kk1d

  committed
  37e593b

  Copy full SHA for 37e593b

Commits on Jan 8, 2025

• Fix synswitch for pattern elaboration with singleton labeled tuples

  7h3kk1d

  committed
  5d81de3

  Copy full SHA for 5d81de3

Commits on Jan 10, 2025

• Fix statics for labeled tuple with extra label

  7h3kk1d

  committed
  e98c220

  Copy full SHA for e98c220