laurayuwen
laurayuwen
Very strange problem: ``` yuwen2@yuwen2-HP-Z220-CMT-Workstation:~/k/k-distribution/tutorial/1_k/5_types/lesson_1$ ktest tests/config.xml Running ['/home/yuwen2/k/k-distribution/target/release/k/bin/kompile' '/home/yuwen2/k/k-distribution/tutorial/1_k/5_types/lesson_1/imp.k'] Done with ['/home/yuwen2/k/k-distribution/target/release/k/bin/kompile' '/home/yuwen2/k/k-distribution/tutorial/1_k/5_types/lesson_1/imp.k'] ``` After I run the above ktest, krun right after that produced correct result; however, if...
OK, I am copying 20harshita's issue here harshita@harshita-VPCEH25EN:~/java-semantics/src$ kjkompile.sh Preprocessing semantics: [Error] Internal: Uncaught exception thrown of type AssertionError. Please rerun your program with the --debug flag to generate a...
Just some thoughts, since Denis mentioned that arrays used a lot of auxiliary functions. I noticed this issue for some time, auxiliary functions are actually written and designed in abstract...