K-user mailing list

["Chen, Xiaohong" <xc3 AT illinois.edu>]

cc all
-------------------------
Chen, Xiaohong
BSc, Peking University
PhD student, UIUC

________________________________________
From: Chen, Xiaohong
Sent: Tuesday, February 28, 2017 7:42 PM
To: 
jpkratos AT gmail.com
Subject: RE: [[K-user] ] Windows parser problem

Dear Jpkratos,

Thank you for choosing K.

Although we have put in lots of effort in making K platform independent, we 
are aware of some incompatibility issue about running K upon a Windows 
machine. Therefore we recommend you use a Linux machine. And in the meantime 
we will investigate what you reported.

Cheers,
Xiaohong

-------------------------
Chen, Xiaohong
BSc, Peking University
PhD student, UIUC

________________________________________
From: 
jpkratos AT gmail.com
 
[jpkratos AT gmail.com]
Sent: Tuesday, February 28, 2017 6:04 PM
To: 
k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Windows parser problem

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!