Skip to content

Add parser tests for singleton tuples #5930

Add parser tests for singleton tuples

Add parser tests for singleton tuples #5930

GitHub Actions / Test Report failed Oct 11, 2024 in 1s

36 passed, 1 failed and 0 skipped

Tests failed

❌ junit_tests.xml

37 tests were completed in 0ms with 36 passed, 1 failed and 0 skipped.

Test suite Passed Failed Skipped Time
Dynamics 36✅ 1❌ 0ms

❌ Dynamics

Dynamics.Elaboration
  ✅ Single integer
  ✅ Empty hole
  ✅ Free variable
  ✅ Let expression
  ✅ Inconsistent binary operation
  ✅ Consistent if statement
  ✅ An unapplied function
  ✅ Application of function on free variable
  ✅ Inconsistent case statement
  ✅ Let expression for a function
  ✅ Function application with a deferred argument
  ✅ Labeled tuple elaboration
  ✅ Rearranged labeled tuple
  ❌ Singleton labeled tuple adds labels
	Alcotest assertion failure
  ✅ Singleton labeled tuple
Dynamics.LabeledTuple
  ✅ Singleton unlabeled
  ✅ Singleton labeled
  ✅ unlabeled remains same order
  ✅ fully labeled retains ordering
  ✅ Missing labels get added
  ✅ Present labels get reordered
  ✅ Partial labels get reordered
  ✅ Extra labels get reordered
  ✅ pair labeled, unlabled
  ✅ Independent label sets with some overlap
Dynamics.Statics
  ✅ Function with unknown param
  ✅ Function with known param
  ✅ Unsure: Function with labeled param
  ✅ bifunction
  ✅ function application
  ✅ function deferral
  ✅ Typechecking fails for unlabeled variable being assigned to labeled tuple
  ✅ Typechecking fails for unlabeled variable being assigned to labeled tuple
Dynamics.Evaluator
  ✅ Integer literal
  ✅ Integer sum
  ✅ Labeled tuple projection
Dynamics.MakeTerm
  ✅ Singleton Labled Tuple ascription in let

Annotations

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

Dynamics ► Dynamics.Elaboration ► Singleton labeled tuple adds labels

Failed test found in:
  junit_tests.xml
Error:
  Alcotest assertion failure
Raw output
Alcotest assertion failure
FAIL let x : (l=String) = "a" in x

   Expected: `{ ids = <opaque>; copied = <opaque>;
  term =
  (Let ({ ids = <opaque>; copied = <opaque>; term = (Var "x") },
     { ids = <opaque>; copied = <opaque>;
       term =
       (Tuple
          [{ ids = <opaque>; copied = <opaque>;
             term =
             (TupLabel (
                { ids = <opaque>; copied = <opaque>; term = (Label "l") },
                { ids = <opaque>; copied = <opaque>; term = (String "a") }))
             }
            ])
       },
     { ids = <opaque>; copied = <opaque>; term = (Var "x") }))
  }'

   Received: `{ ids = <opaque>; copied = <opaque>;
  term =
  (Let ({ ids = <opaque>; copied = <opaque>; term = (Var "x") },
     { ids = <opaque>; copied = <opaque>;
       term =
       (Cast (
          { ids = <opaque>; copied = <opaque>;
            term =
            (FailedCast (
               { ids = <opaque>; copied = <opaque>; term = (String "a") },
               { ids = <opaque>; copied = <opaque>; term = String },
               { ids = <opaque>; copied = <opaque>;
                 term =
                 (Prod
                    [{ ids = <opaque>; copied = <opaque>;
                       term = (Unknown Internal) }
                      ])
                 }
               ))
            },
          { ids = <opaque>; copied = <opaque>;
            term =
            (Prod
               [{ ids = <opaque>; copied = <opaque>;
                  term = (Unknown Internal) }
                 ])
            },
          { ids = <opaque>; copied = <opaque>;
            term =
            (Parens
               { ids = <opaque>; copied = <opaque>;
                 term =
                 (Prod
                    [{ ids = <opaque>; copied = <opaque>;
                       term =
                       (TupLabel (
                          { ids = <opaque>; copied = <opaque>;
                            term = (Label "l") },
                          { ids = <opaque>; copied = <opaque>; term = String
                            }
                          ))
                       }
                      ])
                 })
            }
          ))
       },
     { ids = <opaque>; copied = <opaque>; term = (Var "x") }))
  }'