search

ggreif / omega

Automatically exported from code.google.com/p/omega
Other
7 stars 0 forks source link

repl misformats certain labels #102

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Sometimes one creates a label like this:

string2label "23434"
 ---> Hidden `23434

and of course that will never read back.

In this case it is better to format it identically:
---> Hidden (string2label "23434")

This does not mean that it does not get evaluated completely :-)
(the original string2label should be in scope, though...)

Original issue reported on code.google.com by ggr...@gmail.com on 8 Sep 2011 at 1:19

GoogleCodeExporter commented 9 years ago 
Why not run the Parsec for tags/labels to see whether it is in the correct 
syntax? Otherwise just punt to writing
{{{
prompt> newLabel "exotic label"

newLabel "exotic label" :: HiddenLabel
}}}

Original comment by ggr...@gmail.com on 12 Jul 2012 at 1:30