Ticket #151 (new defect)

Opened 6 years ago

_ pattern succeeds on end of input?

Reported by: pnkfelix@… Owned by: kazzmir
Priority: major Milestone:
Component: kazzmir/peg.plt Keywords:
Cc: Version:
Racket Version: 4.1.4

Description

The behavior below does not seem to agree with Bryan Ford's POPL '04 paper:

#lang scheme
(require (planet kazzmir/peg:2:0/peg))
(parse (peg (start s) (grammar (s ((_) $)))) "a")
(parse (peg (start s) (grammar (s ((_ _) $)))) "a")

produces the output:

Welcome to DrScheme, version 4.1.4 [3m].
Language: Module; memory limit: 128 megabytes.
#\a
#<procedure:end-of-input>
> 

I would have expected #f for that last output.

Note: See TracTickets for help on using tickets.