Move PrintAsID into explorer. (#3163)

#2569 added PrintAsID to //common/ostream.h, but given it's
explorer-specific behavior, I don't think it's the right home for it.

Noticed this while pondering better ostream interfaces.
This commit is contained in:
Jon Ross-Perkins
2023-08-28 23:39:56 +00:00
committed by GitHub
parent 7157445f97
commit f63834c71d
13 changed files with 60 additions and 25 deletions
+1
View File
@@ -5,6 +5,7 @@
#include "explorer/ast/declaration.h"
#include "explorer/ast/value.h"
#include "explorer/base/print_as_id.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/Casting.h"