k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Windows parser problem

From: <jpkratos AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Windows parser problem
Date: Tue, 28 Feb 2017 18:04:22 -0600

Hello there. I've just downloaded the k-distribution4.0.0 and when I try to
use krun on Windows 10 it always outputs the following error:

"[Error] Outer Parser: Encountered <EOF>.
Was expecting one of: [<DOTK>, "#token", "#klabel", <ID_KLABEL>, "`"]
Source(<command line: -cPGM>)
Location(0,0,0,0)
"

The same distribution works fine on Linux (Xubuntu). Could you tell me if I'm
doing something wrong? or maybe it's a bug? Thanks in advance!

[[K-user] ] Windows parser problem, jpkratos, 02/28/2017