tomahawkins/smt-lib — Issue #4: Quoted-symbol missing?
Author: jwaldmann
Created: 2012-03-05 11:09:56+00:00
State: open

(this is not terribly important, see also "Wadler's law of language design", but ...)

the SMTLIB standard says (3.1) "a symbol is either a simple symbol or a quoted symbol".
Quoted symbols are typically used for (set-info :source |blah blah|) .

With smt-lib, type Symbol = String, so I can only write
Set_info ( Attribute_s_expr "source" (S_expr_symbol "blah blah"))
but it will not escape the whitespace between the blah.

A simple work-around is ... (S_exp_symbol "|blah blah|")