From d29bb0131b42860c7925f3e1009892d11496c8d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20Muska=C5=82a?= Date: Tue, 28 Jun 2022 17:06:49 +0100 Subject: [PATCH] Correct documentation for proper_typeserver The parse transform looks up the modules (in either compiled or source form) at compile-time, not runtime. The current documentation is not correct. --- src/proper_typeserver.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proper_typeserver.erl b/src/proper_typeserver.erl index c5ea8112..b386e382 100644 --- a/src/proper_typeserver.erl +++ b/src/proper_typeserver.erl @@ -121,7 +121,7 @@ %%%
  • For native types to be translated correctly, both the module that %%% contains the `?FORALL' declaration as well as any module that contains %%% the declaration of a type referenced (directly or indirectly) from inside -%%% a `?FORALL' must be present in the code path at runtime, either compiled +%%% a `?FORALL' must be present in the code path at compile-time, either compiled %%% with `debug_info' enabled or in source form.
    • %%%
  • Local types with the same name as an auto-imported BIF are not accepted %%% by PropEr, unless the BIF in question has been declared in a