Fix optSemi type in Parser.y
authorVladislav Zavialov <vlad.z.4096@gmail.com>
Wed, 6 Feb 2019 01:01:36 +0000 (20:01 -0500)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 8 Feb 2019 16:00:24 +0000 (11:00 -0500)
commit071bef18ccafb134ab886da9e362689b9f092dd3
tree0fecf04831326cdeb21a225dfe430bf1fd0f98fb
parentced729f6f4651b67151015e25a98c93792794aee
Fix optSemi type in Parser.y

The definition of 'optSemi' claimed it had type

([Located a],Bool)

Note that its production actually returns ([Located Token],Bool):

  : ';' { ([$1],True) }   -- $1 :: Located Token

Due to an infelicity in the implementation of 'happy -c', it effectively
resulted in 'unsafeCoerce :: Token -> a'.
See https://github.com/simonmar/happy/pull/134

If any consumer of 'optSemi' tried to instantiate 'a' to something not
representationally equal to 'Token', they would experience a segfault.

In addition to that, this definition made it impossible to compile Parser.y
without the -c flag (as it's reliant on this bug to cast 'Token' to 'forall
a. a').
compiler/parser/Parser.y