Error while compiling lambda.k

When using kompile, it fails to compile the lambda.k(a very simple example).

cat lambda.k

[root@localhost hello]# cat lambda.k 
// Copyright (c) 2012-2016 K Team. All Rights Reserved.
module LAMBDA-SYNTAX
  syntax Val ::= Id
               | "lambda" Id "." Exp
  syntax Exp ::= Val
               | Exp Exp      [left]
               | "(" Exp ")"  [bracket]
endmodule

(1) kompile --no-prelude lambda.k. Output:

[root@localhost hello]# kompile --no-prelude lambda.k 
[Error] Compiler: Could not find sorts: [Id]
	Source(/root/src/c-semantics/hello/./lambda.k)
	Location(4,18,4,19)

(2) kompile lambda.k. Output:

[root@localhost hello]# kompile lambda.k
[Error] Compiler: Could not find main module with name LAMBDA in definition.
Use --main-module to specify one.

I don’t know what the reason is. Who has the latest K manual? Thank you.

[dwightguth]

Long story short we have reintegrated the two parts of K again and it should work with the version of K you are using, but K has changed to no longer implicitly import any modules, so you need to add imports ID to your definition of lambda calculus. Alternately, you can just use the versions of the tutorial found in the repository itself, which should be maintained and up to date.

[suhabe]

If you want to use the tutorial, we recommend using the version of K developed by UIUC.

Where can I find the version of K developed by UIUC? I want to go through the tutorial.

I tired the latest version from this repo, but couldn’t get past the error:

$ kompile --version
RV-K version 1.0-SNAPSHOT
Git revision: 6bc147f
Git branch: master
Build date: Tue Jan 01 11:57:44 PST 2019

$ kompile lambda.k 
[Error] Compiler: Could not find sorts: [Id]
	Source(lambda.k)
	Location(3,18,3,36)

$ cat lambda.k 
module LAMBDA
  syntax Val ::= Id
               | "lambda" Id "." Exp
  syntax Exp ::= Val
               | Exp Exp      [left]
               | "(" Exp ")"  [bracket]
endmodule