Replace change to "use" with function to get file name Revert previous change to "use" and instead add PolyML.getUseFileName to return the current name of the file.  It returns an option type and the name itself is in thread-local store.
Replace change to "use" with function to get file name
Revert previous change to "use" and instead add PolyML.getUseFileName
to return the current name of the file.  It returns an option type and
the name itself is in thread-local store.

dcjm/polyml,polyml/polyml,polyml/polyml,polyml/polyml,dcjm/polyml,dcjm/polyml,polyml/polyml,dcjm/polyml