k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] [syntax] unicode white space problem

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] [syntax] unicode white space problem
Date: Thu, 31 Oct 2013 00:16:39 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

How K parses the various white space characters, especially the unicode
characters?

For example, an unicode for non-breaking space cannot be parsed, whose bytes
representation is "C2 A0" (that is, "00A0" in UTF-8).

Could you anyone explain how K deals with a white space problem?

Thanks,
Daejun

[K-user] [syntax] unicode white space problem, Park, Daejun, 10/30/2013