Skip to content

Correct documentation for proper_typeserver #297

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
michalmuskala wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Correct documentation for proper_typeserver #297

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/proper_typeserver.erl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@
%%% <li>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.</li>
%%% <li>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
Expand Down