Searched refs:EmptyGeneralize (Results 1 – 4 of 4) sorted by relevance
66 | EmptyGeneralize Range -- ^ Empty @variable@ block. constructor127 EmptyGeneralize{} -> EmptyGeneralize_167 EmptyGeneralize{} -> False238 getRange (EmptyGeneralize r) = r332 pretty (EmptyGeneralize _) = fsep $ pwords "Empty variable block."
181 EmptyGeneralize a -> icodeN 20 EmptyGeneralize a215 [20,a] -> valuN EmptyGeneralize a
483 EmptyGeneralize{} -> deadcodeHighlighting w
304 Generalize r [] -> justWarning $ EmptyGeneralize r