From 1a771b196ce9fdb82bbd5f0a0bbae30e4352236d Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Fri, 11 Feb 2022 11:54:41 +0100 Subject: odinfmt: support diverging procedure --- src/odin/printer/visit.odin | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') diff --git a/src/odin/printer/visit.odin b/src/odin/printer/visit.odin index 400b281..79586b7 100644 --- a/src/odin/printer/visit.odin +++ b/src/odin/printer/visit.odin @@ -1429,6 +1429,10 @@ visit_proc_type :: proc(p: ^Printer, proc_type: ast.Proc_Type) -> ^Document { } else { document = cons(document, group(nest(p.indentation_count, cons(break_with(" "), group(visit_signature_list(p, proc_type.results)))))) } + } else if proc_type.diverging { + document = cons_with_nopl(document, text("-")) + document = cons(document, text(">")) + document = cons_with_nopl(document, text("!")) } return document -- cgit v1.2.3