[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Lojgloss 2.0.1 errors
- To: lojban-list@lojban.org
- Subject: [lojban] Lojgloss 2.0.1 errors
- From: "Chris Capel" <pdf23ds@gmail.com>
- Date: Sun, 29 Jun 2008 01:32:10 -0500
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:mime-version:content-type:content-transfer-encoding :content-disposition; bh=YOPmJw7AmqXWkKBbVD4o0FqvqxSSOpDsfvKya9vtVD0=; b=J4w6yVf6JvUhyIquSmQlyVTmMa6vj2x6ehmk+Dc0sD50s7esG2WvU0QKpEmQgR0u9I lwK0Y9RlxAzjKgKEAVR0aIXdMpo+cFYPlwRaWZkSOrKKl0JBou+J+vwqAhSE3R6l9s13 h7AOnso2CRhBsPCYQUSAIVgD7Kt3RZhHYdkgs=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=UCyzR8lHxcwr2k3v+nkpD9af6w61sF89Cp1TOiH7Qw+dZgDj/1vDAk0X0O3wt6xHLB +wa6XueRLXpEZWcUizY5ifBnzebXvd8HhX8aIFbHMGkY1KraWGYj7tQBh1W4bnCIiG1M 2MbI+cNOMd6BaoR0LSA7xB9QCaxfJ1GyqMwh0=
- Reply-to: lojban-list@lojban.org
- Sender: lojban-list-bounce@lojban.org
On Sat, Jun 28, 2008 at 10:46 PM, Chris Capel <pdf23ds@gmail.com> wrote:
> I'd appreciate feedback on the error display feature. I'm not sure how
> to go about displaying errors on the commandline. Reducing lojban
> parse errors to a single message may be impossible to do in any useful
> way, and displaying an error tree the same way the GUI
does would probably be too much information, since you can't
dynamically collapse and expand text output. So it almost seems like
to be useful at all, you would have to be able to more intelligently
pick which errors are applicable to the current situation, which is a
Sort-of Hard Problem. So does anyone have any ideas?
Chris Capel
--
"What is it like to be a bat? What is it like to bat a bee? What is it
like to be a bee being batted? What is it like to be a batted bee?"
-- The Mind's I (Hofstadter, Dennet)
To unsubscribe from this list, send mail to lojban-list-request@lojban.org
with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if
you're really stuck, send mail to secretary@lojban.org for help.