Rename DialectTypeRegistry to DialectSymbolRegistry in preparation for dialect...
authorRiver Riddle <riverriddle@google.com>
Thu, 9 May 2019 05:16:30 +0000 (22:16 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sat, 11 May 2019 02:24:38 +0000 (19:24 -0700)
commit8ad332055754b9a33fffc6d17a104dd2db94f341
treea0c6282f939484ba14dfe7051a1c4b15384bdf0a
parente088f93f0da3d6a2904f0f4fb22759c40914dce3
Rename DialectTypeRegistry to DialectSymbolRegistry in preparation for dialect defined attributes.

--

PiperOrigin-RevId: 247357665
mlir/include/mlir/IR/DialectSymbolRegistry.def [moved from mlir/include/mlir/IR/DialectTypeRegistry.def with 50% similarity]
mlir/include/mlir/IR/Types.h