dfinity / motoko

Simple high-level language for writing Internet Computer canisters

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Can't compile `base` library

vporton opened this issue · comments

In my Code text editor I have for line 124 of base 0.10.3 ExperimentalCycles.mo:

  public let add : (amount : Nat) -> () = Prim.cyclesAdd;

the error:

expression of type
  <system>Nat -> Nat
cannot produce expected type
  Nat -> Nat
$ moc --version
Motoko compiler 0.11.0+ (source yh3wb1vx-vj8j4j32-k8gq4m8y-4cxlqinf)

Try upgrading the base library to 0.11.0; this should fix the issue.

Context: developer forum post