module UU.Scanner.GenToken where import UU.Scanner.Position(Pos) data GenToken key tp val = Reserved !key !Pos | ValToken !tp val !Pos position :: GenToken k t v -> Pos position :: forall k t v. GenToken k t v -> Pos position GenToken k t v tok = case GenToken k t v tok of Reserved k _ Pos p -> Pos p ValToken t _ v _ Pos p -> Pos p