NameDict should be initialized with dictionary

nirum-lang / nirum-python

The Nirum runtime library for Python

https://nirum.org/docs/target/python.html

MIT License

8 stars 9 forks source link

NameDict should be initialized with dictionary #109

Closed kanghyojun closed 5 years ago

kanghyojun commented 6 years ago

NameDict.__init__() has assumption names has to be List[Tuple[str, str]] type. but it can be initialized with dict because NameDict implements typing.Mapping.