Newbie questions about Pliant

Newbie questions about Pliant

Characters

Message posted by maybe Marcus on 2002/05/22 01:16:12
Is there any special delimiter to denote characters in Pliant? Or do I have
to write it as a string with index 0. E.g., character 'c': "c":0
Message posted by maybe pom on 2002/05/22 06:41:11
A literal string of length 1 is a Char: "hello" is parsed as a Str, "x" as a
Char. An implicit cast from Char to Str furthermore allows to consider both
as Str.