fix(cli): unable to import types with all-caps TLAs#211

Merged

eladb merged 6 commits intomasterfrom benisrae/pascal-tla

May 27, 2020

+15,342-15,319

Commits on May 26, 2020

fix(cli): unable to import types with all-caps TLAs
Elad Ben-Israel
committed
update snapshot
Elad Ben-Israel
committed
update snaps
Elad Ben-Israel
committed

Commits on May 27, 2020

add some comments to normalizeTypeName
Elad Ben-Israel
authored
Merge remote-tracking branch 'origin/master' into benisrae/pascal-tla
Elad Ben-Israel
committed
Merge branch 'master' into benisrae/pascal-tla
Elad Ben-Israel
authored