help with a typechecking error message

[Mark Aronszajn <aronsz@csee.wvu.edu>]

It looks like the only way the Prelude allows us to form expressions
that denote (already defined) characters is with the construction

	char(n)

where n is some natural below 128.  Is that right?  It would be nice if
there were single quote character terms--'A', 'a', 'B', 'b',... correlated
to strings in the expected way, so that, for example,

	char2stringA: lemma 'A' = seq("A")(0)

would be true.  I don't see any way of defining such expressions.

Mark Aronszajn
Reusable Software Research Group
West Virginia University

---

• Prev by Date: trigonometry
• Next by Date: oops, mistaken subject heading
• Prev by thread: oops, mistaken subject heading
• Next by thread: Re: help with a typechecking error message
• Index(es):
  • Date
  • Thread