ethereum / act

Smart contract specification language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Internal error when assining `_` to variable

leonardoalt opened this issue · comments

commented
constructor of LValue
interface constructor()

creates
	uint x := _

->

act: internal error: infer type of:WildExp
CallStack (from HasCallStack):
  error, called at Type.hs:363:10 in main:Type
commented

This is the same as #74. _ is the wildcard syntax planned for #18 (calls to unknown code).