Sanitize namespace identifiers

manifold-lang / manifold-frontend

Frontend compiler for Manifold high-level language

GNU General Public License v3.0

6 stars 6 forks source link

Sanitize namespace identifiers #36

Closed mtrberzi closed 9 years ago

mtrberzi commented 9 years ago

Fixes #35

coveralls commented 9 years ago

Coverage increased (+0.27%) when pulling 212d59f9ea84da51452588768ab5add87d2a4510 on mtrberzi:issue35 into 9251d59482a561719460a1d6830153664e24eb10 on manifold-lang:master.

lucaswoj commented 9 years ago

Two minor comments, otherwise ready to merge.

coveralls commented 9 years ago

Coverage increased (+0.27%) when pulling 1ca0ecc916d32de15670841d323cacae25a9bd71 on mtrberzi:issue35 into 385c3c72e73699ef1d3b9113fe8066e1d15b020b on manifold-lang:master.