Youshan

Hi @bmmoore , I have difficulty in understanding this requirement and have several questions. Could you help me to understand this bug? (1) What is a Sort? Is Sort a...

Hi @cos, currently our biggest problem is what the changes of this Sort Bag would affect? What definition files and pgm that we should use to have the kompile program...

Hi @cos, thank you! I have talked to bmmoore today. He taught us the difference between data structure Bag and the syntax Bag. To distinguish them, he said we should...

Hello, we tried to reproduce this bug but could not. What we did is: `kompile --debug k-distribution/tutorial/1_k/2_imp/lesson_4/mp2.k`. mp2.k is renamed after mp2-k.txt downloaded from this page. We deleted the TOP-CONFIG...

Hello, we tried to recreate this bug but could not. What we did is: `kompile --no-prelude --debug k-distribution/tutorial/1_k/2_imp/lesson_4/imp.k`. However, we only got an expected error` java.lang.AssertionError: While defining module IMP-SYNTAX:...

@radumereuta Thanks to your explanation, I found the same NoSuchElementException error. What should be the expected result when having an empty module? Should we throw an exception or warning or...

The KLabel topCellInitializer in CompiledDefinition

We haven't checked with krun. Yeah, there might be problems with krun if we set topCellInitializer to be null. We will probably need to add several more checks.