diff options
| author | Björn Gustavsson <[email protected]> | 2016-12-15 09:24:33 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-01-12 12:10:12 +0100 |
| commit | 6ddd19f68d1dd49ea54feb3386865f5328519ff5 (patch) | |
| tree | 36a1563aa97576931ccd5f1cbb5a24438ff16714 /lib/compiler/src/beam_validator.erl | |
| parent | 2e5fcfe9dd7137ab96b3f136795cae82f111778a (diff) | |
| download | otp-6ddd19f68d1dd49ea54feb3386865f5328519ff5.tar.gz otp-6ddd19f68d1dd49ea54feb3386865f5328519ff5.tar.bz2 otp-6ddd19f68d1dd49ea54feb3386865f5328519ff5.zip | |
Add specs for the beam_*:module/2 functions
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
| -rw-r--r-- | lib/compiler/src/beam_validator.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 5659077c5d..bf33ae0aeb 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -32,6 +32,10 @@ -import(lists, [reverse/1,foldl/3,foreach/2,dropwhile/2]). %% To be called by the compiler. + +-spec module(beam_utils:module_code(), [compile:option()]) -> + {'ok',beam_utils:module_code()}. + module({Mod,Exp,Attr,Fs,Lc}=Code, _Opts) when is_atom(Mod), is_list(Exp), is_list(Attr), is_integer(Lc) -> case validate(Mod, Fs) of |