Datalog plugin appears to not support Souffle Algebraic Data Types.

LFrobeen / intellij-datalog

MIT License

31 stars 4 forks source link

Datalog plugin appears to not support Souffle Algebraic Data Types. #5

Open markww opened 3 years ago

markww commented 3 years ago

Souffle datalog supports Algebraic Data Types. These types appear to not be understood by the datalog plugin, as the plugin highlights the first option with a red squiggly underline.

lewtds commented 1 year ago

Screenshot of a rendering from the official ADT example (https://souffle-lang.github.io/types#algebraic-data-types-adt):