Skip to content

Add EmptyHole type to menhir #6152

Add EmptyHole type to menhir

Add EmptyHole type to menhir #6152

GitHub Actions / Test Report failed Dec 3, 2024 in 1s

142 passed, 17 failed and 0 skipped

Tests failed

❌ junit_tests.xml

159 tests were completed in 0ms with 142 passed, 17 failed and 0 skipped.

Test suite Passed Failed Skipped Time
HazelTests 142✅ 17❌ 0ms

❌ HazelTests

HazelTests.Parser
  ✅ Integer Literal
  ✅ Fun
  ✅ String Literal
  ✅ Bool Literal
  ✅ Empty Hole
  ✅ Var
  ✅ Parens
  ✅ BinOp
  ✅ Let
  ✅ Tuple
  ✅ Match
  ✅ If
  ✅ Deferred Ap
  ✅ Cons
  ✅ ListLit
  ✅ Constructor
  ✅ Constructor cast
  ✅ Constructor of specific sum type
  ✅ Constructor with Type Variable
  ✅ Type Variable
  ✅ Type Alias
  ✅ Test
  ✅ Filter
  ✅ List Concat
  ✅ times and divide precendence
  ✅ plus and minus precendence
  ✅ Integer Ops
  ✅ Float
  ✅ Float Ops
  ✅ Let binding with type ascription
  ✅ named_function
  ✅ basic sum type
  ✅ Empty Type Hole
  ❌ Documentation buffer: Casting
	Parse error at: line 7, column 21
  ❌ Documentation buffer: ADT Statics
	Parse error at: line 9, column 18
  ❌ Documentation buffer: Basic Reference
	Parse error at: line 85, column 9
  ❌ Documentation buffer: Projectors
	Parse error at: line 12, column 14
  ❌ Documentation buffer: Types & static errors
	Parse error at: line 13, column 6
  ❌ Documentation buffer: ADT Dynamics
	Parse error at: line 13, column 9
  ❌ Documentation buffer: Polymorphism
	Parse error at: line 5, column 35
  ❌ Documentation buffer: Expressive Programming
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Composing Expressions
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Computing Equationally
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Variables
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Compositionality
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Scope
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Shadowing
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Booleans and Types
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Conditional Expressions
	Parse error at: line 1, column 1
  ❌ Documentation buffer: Functions
	Parse error at: line 1, column 1
HazelTests.Statics
  ✅ Function with unknown param
  ✅ Function with known param
  ✅ bifunction
  ✅ function application
  ✅ function deferral
HazelTests.Evaluator
  ✅ Integer literal
  ✅ Integer sum
  ✅ Function application
  ✅ Function deferral
  ✅ Deferral applied to hole
HazelTests.ListUtil
  ✅ rev_if with false
  ✅ rev_if with true
  ✅ dedup
  ✅ dedup_f
  ✅ group_by with constant function preserves list
  ✅ group_by groups into evens/odds
  ✅ range generates sequential integers [1,6)
  ✅ range defaults lower bound to 0
  ✅ range lo = hi is empty
  ✅ Invalid range raises error
  ✅ mk_frame creates a frame from the beginning
  ✅ mk_frame creates a frame from the end
  ✅ mk_frame raises when making a frame past the end
  ✅ mk_frame raises when making a frame before the beginning
  ✅ mk_frame makes a frame splitting the list
  ✅ mk_frame makes a frame splitting the list
  ✅ split with no found element returns the original list
  ✅ split with first found returns the head and tail
  ✅ splits on the middle element
  ✅ combine_opt
  ✅ is_empty with empty list
  ✅ is_empty with non-empty list
  ✅ flat_map with empty list
  ✅ flat_map with non-empty list
  ✅ flat_map with non-empty list and empty result
  ✅ join with empty list
  ✅ join with single element list
  ✅ join with multiple element list
  ✅ hd_opt with empty list
  ✅ hd_opt with non-empty list
  ✅ nth_opt with empty list
  ✅ nth_opt with non-empty list
  ✅ nth_opt with out of bounds index
  ✅ split_n_opt with empty list
  ✅ split_n_opt with non-empty list
  ✅ split_n_opt with out of bounds index
  ✅ split_n_opt with zero index
  ✅ split_n with empty list
  ✅ split_n with non-empty list
  ✅ split_n with out of bounds index
  ✅ split_n with zero index
  ✅ split_sublist_opt with empty list
  ✅ split_sublist_opt with non-empty list
  ✅ split_sublist_opt with out of bounds index
  ✅ split_sublist_opt with zero index
  ✅ split_sublist with empty list
  ✅ split_sublist with non-empty list
  ✅ split_sublist with out of bounds index
  ✅ split_sublist with zero index
  ✅ sublist with empty list
  ✅ sublist with non-empty list
  ✅ sublist with out of bounds index
HazelTests.MakeTerm
  ✅ Integer Literal
  ✅ Empty Hole
  ✅ Free Variable
  ✅ Parenthesized Expression
  ✅ Let Expression
  ✅ Function Application
  ✅ Named Function Definition
  ✅ Incomplete Function Definition
  ✅ Constructor
  ✅ Type Alias
HazelTests.Elaboration tests
  ✅ 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
  ✅ Function application with a single remaining argument after deferral
  ✅ Function application with a deferral of a hole
HazelTests.Menhir elaboration tests
  ✅ Filter test (menhir)
  ✅ Test failed (menhir)
  ✅ Built-in function (menhir)
  ✅ Dynamic error hole (menhir)
  ✅ Constructor test (menhir)
  ✅ Failed cast test (menhir)
  ✅ Type ap test (menhir)
  ✅ Let expression for a tuple (menhir)
  ✅ Single integer (menhir)
  ✅ Let expression for a function (menhir)
  ✅ Empty hole (menhir)
  ✅ Free var (menhir)
  ✅ Bin op (menhir)
  ✅ Inconsistent case (menhir)
  ✅ ap fun (menhir)
  ✅ Consistent if (menhir)
  ✅ Undefined test (menhir)
  ✅ List exp (menhir)
  ✅ Invalid test (menhir)
  ✅ Type alias test (menhir)
  ✅ List concat test (menhir)
  ✅ Unary operation test (menhir)
  ✅ Sequence test (menhir)
  ✅ FixF test (menhir)

Annotations

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Casting

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 7, column 21
Raw output
Parse error at: line 7, column 21

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: ADT Statics

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 9, column 18
Raw output
Parse error at: line 9, column 18

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Basic Reference

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 85, column 9
Raw output
Parse error at: line 85, column 9

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Projectors

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 12, column 14
Raw output
Parse error at: line 12, column 14

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Types & static errors

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 13, column 6
Raw output
Parse error at: line 13, column 6

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: ADT Dynamics

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 13, column 9
Raw output
Parse error at: line 13, column 9

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Polymorphism

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 5, column 35
Raw output
Parse error at: line 5, column 35

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Expressive Programming

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 1, column 1
Raw output
Parse error at: line 1, column 1

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Composing Expressions

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 1, column 1
Raw output
Parse error at: line 1, column 1

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Computing Equationally

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 1, column 1
Raw output
Parse error at: line 1, column 1

Check failure on line 0 in junit_tests.xml

See this annotation in the file changed.

@github-actions github-actions / Test Report

HazelTests ► HazelTests.Parser ► Documentation buffer: Variables

Failed test found in:
  junit_tests.xml
Error:
  Parse error at: line 1, column 1
Raw output
Parse error at: line 1, column 1