From 16d8700afdbf59e8433f1f92d2064dba291a1f30 Mon Sep 17 00:00:00 2001 From: Davide Fissore Date: Wed, 11 Dec 2024 11:23:17 +0100 Subject: [PATCH] [parser] correct error message --- src/parser/error_messages.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser/error_messages.txt b/src/parser/error_messages.txt index 0b26b066..d8589e05 100644 --- a/src/parser/error_messages.txt +++ b/src/parser/error_messages.txt @@ -458,7 +458,7 @@ Predicate declaration expected. Examples: pred append i:list A, i:list A, o:list A. pred append i:list A i:list A o:list A. pred mapR i:list A, i:(pred i:A, o:B), o:list B. -func map i:list A, i:(func i:A, o:B), o:list B. +func map list A, (func A -> B) -> list B. program: EXPORTDEF AFTER LPAREN USE_SIG program: EXPORTDEF AFTER LPAREN AFTER FULLSTOP