Bug in named arguments #166

New Issue

2019-10-10T00:34:30+09:00

zxq9 commented

2019-10-10 00:34:30 +09:00

(Migrated from gitlab.com)

Created by: radrow

Typechecking following code throws badarg on ++ operator, because named arg in i(2) turns out to be uvar instead of actual named argument list.

contract Id =
  entrypoint id : ('x) => 'x

contract Bum =
  entrypoint bum() = 
    let i = ct_2gPXZnZdKU716QBUFKaT4VdBZituK93KLvHJB3n4EnbrHHw4Ay : Id
    i.id(2) + i(2)

*Created by: radrow* Typechecking following code throws `badarg` on `++` operator, because named arg in `i(2)` turns out to be `uvar` instead of actual named argument list. ``` contract Id = entrypoint id : ('x) => 'x contract Bum = entrypoint bum() = let i = ct_2gPXZnZdKU716QBUFKaT4VdBZituK93KLvHJB3n4EnbrHHw4Ay : Id i.id(2) + i(2) ```

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#166