Code

Add records to the Inferno language#103

Code

Merged

siddharth-krishna merged 24 commits intomainplow-technologies/inferno:mainfrom sidk-recordsplow-technologies/inferno:sidk-recordsCopy head branch name to clipboardMar 15, 2024

+6,581-87

Commits

Commits on Feb 7, 2024

• Add Records to Inferno

  siddharth-krishna

  committed
  c43effa

  Copy full SHA for c43effa

Commits on Feb 26, 2024

• Use row variables for type checking records

  siddharth-krishna

  committed
  b69f4b7

  Copy full SHA for b69f4b7

Commits on Feb 27, 2024

• Add some debug tracing and fix some bugs

  siddharth-krishna

  committed
  6055707

  Copy full SHA for 6055707

• Fix unifyRecords base case and cleanup

  siddharth-krishna

  committed
  09d3bbf

  Copy full SHA for 09d3bbf

• Cleanup

  siddharth-krishna

  committed
  0a270b3

  Copy full SHA for 0a270b3

• Add eval support

  siddharth-krishna

  committed
  bd3def1

  Copy full SHA for bd3def1

Commits on Feb 28, 2024

• Add references

  siddharth-krishna

  committed
  e5f2755

  Copy full SHA for e5f2755

• Comment out trace

  siddharth-krishna

  committed
  4a394ab

  Copy full SHA for 4a394ab

Commits on Mar 5, 2024

• Use {x = 2; y = 3} and record.field syntax

  siddharth-krishna

  committed
  94e60d8

  Copy full SHA for 94e60d8

• Add CLI options to inferno exe

  siddharth-krishna

  committed
  699d328

  Copy full SHA for 699d328

• Cleanup and add unifyRecords tests

  siddharth-krishna

  committed
  2939d25

  Copy full SHA for 2939d25

• Add golden file for new TRecord constructor

  siddharth-krishna

  committed
  9c9b4b0

  Copy full SHA for 9c9b4b0

• Some more cleanup and tests

  siddharth-krishna

  committed
  ec5a7c1

  Copy full SHA for ec5a7c1

• Ormulu with the correct ormolu

  siddharth-krishna

  committed
  126abe3

  Copy full SHA for 126abe3

• Merge branch 'main' into sidk-records

  Daniel-Diaz

  authored
  bb4eb52

  Copy full SHA for bb4eb52

Commits on Mar 12, 2024

• Add Arbitrary instances for record types and exprs

  siddharth-krishna

  committed
  41be8dc

  Copy full SHA for 41be8dc

• Add parser for record types

  siddharth-krishna

  committed
  3752b35

  Copy full SHA for 3752b35

• Fix parser tests

  siddharth-krishna

  committed
  40acf42

  Copy full SHA for 40acf42

• Add tests for inferTypeReps

  siddharth-krishna

  committed
  374081b

  Copy full SHA for 374081b

• Fix tests; better fresh variable counter

  siddharth-krishna

  committed
  e310b14

  Copy full SHA for e310b14

• Format

  siddharth-krishna

  committed
  32f009e

  Copy full SHA for 32f009e

• Review comments

  siddharth-krishna

  committed
  dde2789

  Copy full SHA for dde2789

• Redundant imports

  siddharth-krishna

  committed
  f8a0690

  Copy full SHA for f8a0690

• Bump

  siddharth-krishna

  committed
  b7c522a

  Copy full SHA for b7c522a