k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Imports

From: Markus Knecht <markus.knecht85 AT gmail.com>
To: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] Imports
Date: Wed, 03 Jan 2018 13:54:40 +0000
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=markus.knecht85 AT gmail.com

is their a way to model imports in the k-framework. What I need to do is in a first iteration really simple. If I encounter a import Foo, then I want to look in the same folder for a file named Foo.end and parse it to get a root node.
Is this possible or do I have to write a preprocessor that inlines such import statementy?

[[K-user] ] Imports, Markus Knecht, 01/03/2018