From a3a09dc0e568dd26e29f448bd51cc41201af934b Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Thu, 2 Jan 2020 19:39:31 +0100 Subject: [PATCH] functionize the name in the error --- src/passes/4-typer-new/typer.ml | 6 +++--- src/passes/4-typer-old/typer.ml | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/passes/4-typer-new/typer.ml b/src/passes/4-typer-new/typer.ml index ea607c505..e6848c232 100644 --- a/src/passes/4-typer-new/typer.ml +++ b/src/passes/4-typer-new/typer.ml @@ -23,11 +23,11 @@ module Errors = struct error ~data title message () let unbound_variable (e:environment) (n:I.expression_variable) (loc:Location.t) () = - let name = Format.asprintf "%a" Stage_common.PP.name n in - let title = (thunk ("unbound variable "^name)) in + let name () = Format.asprintf "%a" Stage_common.PP.name n in + let title = (thunk ("unbound variable "^(name ()))) in let message () = "" in let data = [ - ("variable" , fun () -> name) ; + ("variable" , name) ; ("environment" , fun () -> Format.asprintf "%a" Environment.PP.full_environment e) ; ("location" , fun () -> Format.asprintf "%a" Location.pp loc) ] in diff --git a/src/passes/4-typer-old/typer.ml b/src/passes/4-typer-old/typer.ml index ff0ef2fe9..20b54514b 100644 --- a/src/passes/4-typer-old/typer.ml +++ b/src/passes/4-typer-old/typer.ml @@ -30,11 +30,11 @@ module Errors = struct error ~data title message () let unbound_variable (e:environment) (n:I.expression_variable) (loc:Location.t) () = - let name = Format.asprintf "%a" Stage_common.PP.name n in - let title = (thunk ("unbound variable "^name)) in + let name () = Format.asprintf "%a" Stage_common.PP.name n in + let title = (thunk ("unbound variable "^(name ()))) in let message () = "" in let data = [ - ("variable" , fun () -> name) ; + ("variable" , name) ; ("environment" , fun () -> Format.asprintf "%a" Environment.PP.full_environment e) ; ("location" , fun () -> Format.asprintf "%a" Location.pp loc) ] in