Mirror of forum.nim-lang.org

1585 :: Using ``debug: static[bool]`` generates ``Error: illformed AST: ()``

• Henry (orginal) [2015-08-27T20:00:27+02:00] view original

  I have a function XMatchD which I want to instantiate twice, once with debugging on and another with all debugging code removed using when statements.

  proc Match(Subject: VString; Pat: Pattern): bool =
    var Start: Natural
    var Stop: Natural
    
    if Debug_Mode:
      XMatchD(true, Subject, Pat.P, Pat.Stk, Start, Stop)
    else:
      XMatchD(false, Subject, Pat.P, Pat.Stk, Start, Stop)
    
    return Start != 0
  Run

  where XMatchD is a large complex parsing function of the form:

  proc XMatchD(debug: static[bool];
               Subject: VString;
               Pat_P: PE_Ptr;
               Pat_S: Natural;
               Start: var Natural;
               Stop: var Natural) =
  Run

  containing when debug: statements. While this approach worked fine for small functions with XMatchD I get the compiler error:

  ???(-1717, 0) Error: illformed AST: ()

  I am using the latest dev Nim and no additional compilation options. Is debug: static[bool] the best way to instantiate two versions of XMatchD or is there a better way? Should I get this error? If so why only on XMatchD but not with other functions?

  P.S. Ignore the horrid Ada naming convention in this code, I will nimify it when it works.

---

• Henry (orginal) [2015-08-27T21:44:34+02:00] view original

  I have made some progress diagnosing this problem, it appears to be a bug in the nim compiler. Inside the XMatchD function there is a local type definition:

  type State = enum Match_Fail, Match_Succeed, Fail, Succeed, Match
  Run

  which worked fine without the debug: static[bool] parameter but now it only compiles if I move this type definition outside the XMatchD function.

---

• Araq (orginal) [2015-08-27T23:29:07+02:00] view original

  Great, but please use the bug tracker (github issues).

  Btw, I'd just use a template to instantiate 2 separate procs.

---

• Henry (orginal) [2015-08-27T23:47:04+02:00] view original

  I will try to produce a small example which reproduces the problem and post it as a github issue.

  I first tried creating a generic function instantiated on a static[bool] but could not find how to do the equivalent of the C++ func<true>(arguments) and func<false>(arguments) but found that the static argument in neater anyway. I guess I could use a template but haven't played much with those yet.

---

• Henry (orginal) [2015-08-28T21:54:00+02:00] view original

  This code reproduces the error in a slightly different form:

  proc match(debug: static[bool]; str: string) =
    type state = enum found, fail
    echo str
  Run

  I have submitted it as an github issue.

---