refinedc init does not support directory names containing hyphens
From #37:
refinedc init
choked on a hyphen in the pathname. Seems like Coq is to blame here but it would be nice if this wasn't a limitation seeing as how there's really no reason for it.Renaming the project directory to something without the
-
's allowed it to work, but this will certainly block us from using RefinedC without a Docker image and file renaming hacks.
Maybe we should change all letters except [a-zA-Z_]
into _
for the name of the Coq module? (Of course, one needs to check whether there are other problems as well.)