search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
454 stars 53 forks source link

Confusing error message for local judoc #2304

Open lukaszcz opened 1 year ago

lukaszcz commented 1 year ago

The program

module localjudoc;

import Stdlib.Prelude open;

f : Nat -> Nat :=
  let
    --- comment
    g (x : Nat) : Nat := x
  in
  g;

gives the error

  |
7 |     --- comment
  |                ^
expecting :

The error message should say that judoc comments are not allowed here.

jonaprieto commented 1 year ago

Improve the error message: "Judoc comment is not allowed here."