Home > Community > Forums > Custom IC SKILL > INTERNAL ERROR (BADRULE) in SKILL lint report

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 INTERNAL ERROR (BADRULE) in SKILL lint report 

Last post Wed, Sep 26 2012 3:57 AM by Eduardas. 2 replies.
Started by Eduardas 26 Sep 2012 03:10 AM. Topic has 2 replies and 773 views
Page 1 of 1 (3 items)
Sort Posts:
  • Wed, Sep 26 2012 3:10 AM

    • Eduardas
    • Not Ranked
    • Joined on Mon, Sep 10 2012
    • Oulu, Finland
    • Posts 4
    • Points 50
    INTERNAL ERROR (BADRULE) in SKILL lint report Reply
    Hi, All

    SKILL lint is run on:

    Program: @(#)$CDS: virtuoso version 6.1.5 04/06/2012 20:54 (sjfdl235) $
    Sub version: sub-version IC6.1.5.500.10 (32-bit addresses)

    I get following in SKILL lint report file:

    INTERNAL ERROR (BADRULE): .../myProg.il, line 27 (FuncName) :
        Error occurred while checking sort(lns 'lambda((a b) ((\& \& \&) > (\& \& \&)))):
        *Error* makeTable: argument #1 should be either a string or a symbol (type template = "Sgx") - lambda((a b) (length(a) > length(b)))
        Please file a bug report.

     
    Actually, this line is: lns=sort(lns 'lambda((a b) greaterp(length(a) length(b))))

    Can anybody take a look?


    Regards, Eduardas
    • Post Points: 20
  • Wed, Sep 26 2012 3:46 AM

    Re: INTERNAL ERROR (BADRULE) in SKILL lint report Reply

    Eduardas,

    Rather coincidentally one of my colleagues created a solution in the last day or two on exactly the same problem.

    The Lint problem has been fixed in IC616, however, if you turn on the "Performance" switch on the SKILL Lint form, you'll get an output like this:

    HINT (LAMBDA1): ~/skill/forum.il, line 9 (bug) : lambda and nlambda statements do not need to be quoted : 'lambda((s1 s2) let((b1 b2) (b1 = (\& \& \&)) (b2 = (\& \& \&)) ...))

    The solution is to remove the ' before the lambda. It's not necessary, and without this SKILL Lint won't fail with the BADRULE error.

    Regards,

    Andrew.

    • Post Points: 5
  • Wed, Sep 26 2012 3:57 AM

    • Eduardas
    • Not Ranked
    • Joined on Mon, Sep 10 2012
    • Oulu, Finland
    • Posts 4
    • Points 50
    RE: INTERNAL ERROR (BADRULE) in SKILL lint report Reply
    Andrew,

    Thanks, it works.

    Eduardas
    • Post Points: 5
Page 1 of 1 (3 items)
Sort Posts:
Started by Eduardas at 26 Sep 2012 03:10 AM. Topic has 2 replies.