KaSa, UI, & tokens - Githubissues

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

http://kappalanguage.org/

GNU Lesser General Public License v3.0

112 stars 41 forks source link

KaSa, UI, & tokens #540

Open hmedina opened 6 years ago

hmedina commented 6 years ago

When the UI encounters tokens, it seems WebSim crashes. The console reads about 150 of these error messages: ...{"severity":"error","text":"file_name: KaSa_rep/frontend/preprocess/prepreprocess.ml; message: line 743: Tokens are not implemented in KaSa yet; exception: Exit","range":null}...

Until KaSa implements token support, it there a way of launching WebSim without KaSa? Or how should a model with tokens be used on the UI?

feret commented 6 years ago

Sorry about it.
KaSa warnings should not be blocking: it should work as in the binary version. There may be warnings to let the user know that something went wrong (here a part of the model is ignored), but there is a result anyway. We are converging slowly towards this, because you still to have wait a little bit.