SSH-65: Problem matching literals with annotations
Fails in the shell, not in strc:!1{2} => 1
!“string”{2} => “string”
(Doesn’t occur when using constructor terms or variables.)
Submitted on 28 April 2007 at 15:54
Log in to post comments
Fails in the shell, not in strc:!1{2} => 1
!“string”{2} => “string”
(Doesn’t occur when using constructor terms or variables.)
Submitted on 28 April 2007 at 15:54
Log in to post comments