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 :: GenToken k t v -> Pos position tok :: GenToken k t v tok = case GenToken k t v tok of Reserved _ p :: Pos p -> Pos p ValToken _ _ p :: Pos p -> Pos p