search

KiJeong-Lim / portfolio

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
14 stars 0 forks source link

`Lib.Text.PC.Base.ParserBase' is not MonadPlus! #3

Open KiJeong-Lim opened 3 years ago

KiJeong-Lim commented 3 years ago 
MonadPlus laws:
  left zero:         +++ OK, passed 500 tests.
  left identity:     +++ OK, passed 500 tests.
  right identity:    +++ OK, passed 500 tests.
  associativity:     *** Failed! Falsified (after 17 tests and 5 shrinks):    
PAct ([] +-> PAct ([] +-> PVal 15))
PAct ([] +-> PAct ([] +-> PAct ([] +-> PAct [-1,-12,6,15,11,13,-4,-11,-1,4,16,-5,-9,-6,-6] [(PAct [9] [],"\SOH_e\SOH<q\260334")])))
PAct [-6,-5,-1,-4,12,8] [(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-16)))),"\GS\483678"),(PAct ([] +-> PAct ([] +-> PAct [] [])),"ae\DC1\roSB\DC3\312652\939748o1R/"),(PAct ([] +-> PAct ([] +-> PAct ([] +-> PVal (-5)))),"O")]
"B"
  left distribution: *** Failed! Falsified (after 3 tests and 2 shrinks):
PAct ([] +-> PVal 1)
PAct ([] +-> PAct [] [])
<function>
""
""