Cosmin Radoi

do you consider this fixed?

@dfava, yes `` is reserved for the strategy cell. We should make the error message nicer when it is used for something else. Thanks!

It's likely the configuration was declared in a module which was not (transitively) imported. We'll have to improve the error message. Thank you!

If the problem is what I think it is, simply refer to a non-existent cell within a rule. E.g.: ``` rule 0 ```

Great, it seems the bug is already fixed then.

@yeahyy, could you explain why it was failing before and why your changed fixed the issues?

It seems that parsing is wrong. `.TaskCellBag` is generated by the configuration expander, so it should be visible during the parsing of patterns as well. I haven't seen any sub-sorting...

@radumereuta, you reported this originally. Can you give any more details on reproducing it?

> Currently, after adding three checks, we are able to kompile an empty module with an exit code 0, a warning of no corresponding syntax module, This is good. >...

what does it say on `krun`?