Lines Matching +refs:unpack +refs:defined +refs:syms

83 >        -> Maybe String  -- User-defined stuff (token DT, lexer etc.)
113 >        -> Maybe String  -- User-defined stuff (token DT, lexer etc.)
257 >  . str "  unpack (SemTok t) = t"                                . nl
397 >                    | sym <- syms ]
406 >   syms = [ token_names g ! i | i <- user_non_terminals g ]
444 >  = (def, map snd syms)
454 >                          | sym <- map fst syms ]
457 >                          | (_,c,_,_) <- map snd syms ]
459 >   syms = [ (c_name ++ " (" ++ ty ++ ")", (rty, c_name, mask, prod_info))
497 >  = (def, map snd syms)
503 >                         | sym <- map fst syms ]
506 >   syms = [ (c_name ++ " (" ++ ty ++ ")", (ty, c_name, mask, prod_info))
682 >        : [ "  unpack (" ++ c_name ++ " s) = s"