Searched defs:translateMatch (Results 1 – 5 of 5) sorted by relevance
5 val translateMatch : value
337 fun translateMatch (env : Tr_env.TranslEnv) failure_code loc mrules = function
660 translateMatch fam_insts vars (dL->L _ (Match { m_pats = pats, m_grhss = grhss })) function672 translateMatch _ _ _ = panic "translateMatch" function