Grammar: syntax error with inclusion and structure

UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

3 stars 1 forks source link

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

theory TypeEquality =
  include ?TypedLogic❙
  structure tpeq : ?EqualityND =
    include ?Logic❙
    term = tp❙
    equal # 1 ≛ 2 prec 50❙   
  ❚
❚

is not recognized as valid syntax.

(Can we perhaps have a grammar label for issues? :smile:)