search

Topology / ALM-Compiler

A Java implementation of the ALM language that compiles to the SPARC variant of Answer Set Programming (ASP).
Apache License 2.0
0 stars 1 forks source link

CALM distribution - library #24

Open zhangyuanlin opened 6 years ago

zhangyuanlin commented 6 years ago

I guess basic_holds_library.p is the file for testing library functionalities of CALM. When compiling it, there is a Java exception 

Exception in thread "main" edu.ttu.krlab.alm.ALMCompilerPermanentFailure: PROGRAM FAILURE: [Creating Char Stream] Failure Not Handled Gracefully yet.
    at edu.ttu.krlab.alm.ALMCompiler.IMPLEMENTATION_FAILURE(ALMCompiler.java:317)
    at edu.ttu.krlab.alm.ALMModuleManager.resolveModules(ALMModuleManager.java:177)
    at edu.ttu.krlab.alm.ALMCompiler.Compile(ALMCompiler.java:142)
    at edu.ttu.krlab.alm.ALMCompiler.main(ALMCompiler.java:110)

There is an import statement in asic_holds_library.p

import basic_holds from basic_motion_library

But I don't find basic_motion_library. So, maybe you missed the library file in the new distribution? If so, which folder it has to be put into, the library/ ?

Topology commented 6 years ago

I had forgotten to upload the directory with the two files in it It is uploaded now. I will leave this issue open until we decide that what was uploaded looks good enough to distribute.

zhangyuanlin commented 6 years ago
  1. Maybe CALM can give more friendly complaint such as library is not found etc.
  2. Now the example works.