Code

Case expression redundancy checking#1124

Code

Merged

cyrus- merged 24 commits intohaz3l-case-exhaustivenesshazelgrove/hazel:haz3l-case-exhaustivenessfrom haz3l-case-redundancyhazelgrove/hazel:haz3l-case-redundancyCopy head branch name to clipboardFeb 13, 2024

+75-22

Commits

Commits on Oct 20, 2023

• Init

  pigumar1

  committed
  186cb1e

Commits on Oct 21, 2023

• Added error_pat.Redundant

  pigumar1

  committed
  33c484e

• Added Self.pat

  pigumar1

  committed
  7276a41

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  fcd0182

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  bb0f356

• Generating pattern constraints sequentially

  

  Karan Anand

  authored and

  Karan Anand

  committed
  b3d8cce

Commits on Oct 22, 2023

• Inlined map_m_constraint

  Show description for 0d5f5b5
  

  pigumar1

  and

  karananand01

  committed
  0d5f5b5

• Adjusted info for redundant patterns

  pigumar1

  committed
  5361ce6

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  ad523c6

Commits on Oct 23, 2023

• Made redundancy not a runtime error

  pigumar1

  committed
  3c4e58d

• Allowed redundant patterns to have types in Self.typ_of_pat

  pigumar1

  authored
  cd03276

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  b1eaeb7

Commits on Oct 26, 2023

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  d5d3fb9

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  dc87b52

• Removed “necessarily” in the user-facing message

  pigumar1

  authored
  df04be9

• Reformatted

  pigumar1

  committed
  ed3138e

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  83101d1

Commits on Nov 10, 2023

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  cyrus-

  authored
  e37a33d

Commits on Nov 18, 2023

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  71a5689

Commits on Dec 25, 2023

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  committed
  9df27d3

• Update Statics.re

  pigumar1

  committed
  c81ee31

Commits on Jan 12, 2024

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  authored
  d65eff9

Commits on Jan 16, 2024

• Merge branch 'haz3l-case-exhaustiveness' into haz3l-case-redundancy

  pigumar1

  committed
  0025fe3

Commits on Jan 18, 2024

• Fixed overwritten-map bug

  pigumar1

  committed
  42266ce