Comments (5)
dwightguth
commented on July 18, 2024
What version of K are you using? That include file looks obsolete to me.
from k-legacy.
canndrew
commented on July 18, 2024
Oh wow, I didn't notice you'd replied immediately. Thanks!
I'm using KVM 3.4 I believe. I just downloaded it off the website today.
from k-legacy.
canndrew
commented on July 18, 2024
kompile --version gives me:
K-framework version 3.4.
Git Revision: 08c9271
Build date: Tue Aug 26 13:56:56 PDT 2014
from k-legacy.
canndrew
commented on July 18, 2024
Similarly, I get compile errors if I define an operator called =>. Is there a way to stop the syntax of my language from conflicting with the syntax of the meta-language? (I'm only up to the third tutorial video but I'm trying to play around with the concepts as they're introduced and I'm running into this problem already.)
from k-legacy.
radumereuta
commented on July 18, 2024
=> is a reserved keyword for K. It is used in rules to specify rewriting rules.
K3.4 is quite old and had some issues regarding modularity but in K4 you can avoid these by splitting your syntax into different modules: 1. module for semantics, 2. module for program syntax 3. module for common syntax. The idea is to put all the productions that conflict with the builtin K stuff in the second module and keep the rest in the common module which you can include in both.
from k-legacy.
Related Issues (20)
- Simple Tutorial Script failing on OS X
- "end of list" token ambiguity HOT 1
- archlinux installation
- ashrMInt caveat
- Parser: no kompile error when using undefined terms in RHS HOT 4
- Unimplemented Exception
- Set does not work correctly with non-primitive elements
- Building with Java 9 HOT 1
- KFramework documentation HOT 1
- "Over matching" behavior of ... in cells with multiplicity="*"
- how to set the priority of rules?
- K 4.0 Merge rules
- Missing files in K 4.0 distribution HOT 1
- AssertionError in krun --prove
- Strange behavior of proof mode HOT 3
- Problem in ConstrainedTerm.evaluateConstraints HOT 1
- KLabelConstants not unique in KEQ
- Swap HOT 1
- SMT Solver call from specification in K 4.0 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from k-legacy.