Add EmptyHole type to menhir #6152
142 passed, 17 failed and 0 skipped
❌ 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
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
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
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
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
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
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
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
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
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
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
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