diff options
| author | Björn Gustavsson <[email protected]> | 2017-01-13 12:07:06 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-01-13 12:07:06 +0100 |
| commit | fa208870c24b7b3cddf3ac0317371b419d1a08d8 (patch) | |
| tree | 9c4290a7d6b6902ce68ad18e1358478b2add67ce /lib/compiler/src/v3_life.hrl | |
| parent | ee3f93aec3f2e8b49e0fa9a84ec4d68b687103c5 (diff) | |
| parent | 4efd9935a5618fa6622e33eadb3d6add49ab1089 (diff) | |
| download | otp-fa208870c24b7b3cddf3ac0317371b419d1a08d8.tar.gz otp-fa208870c24b7b3cddf3ac0317371b419d1a08d8.tar.bz2 otp-fa208870c24b7b3cddf3ac0317371b419d1a08d8.zip | |
Merge pull request #1285 from bjorng/bjorn/compiler/type-specs
Add types and specs for all compiler modules
Diffstat (limited to 'lib/compiler/src/v3_life.hrl')
| -rw-r--r-- | lib/compiler/src/v3_life.hrl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/compiler/src/v3_life.hrl b/lib/compiler/src/v3_life.hrl index 9d03a86ccd..5c76312067 100644 --- a/lib/compiler/src/v3_life.hrl +++ b/lib/compiler/src/v3_life.hrl @@ -20,8 +20,10 @@ %% This record contains variable life-time annotation for a %% kernel expression. Added by v3_life, used by v3_codegen. +-type vdb_entry() :: {atom(),non_neg_integer(),non_neg_integer()}. + -record(l, {ke, %Kernel expression - i=0, %Op number - vdb=[], %Variable database - a}). %Core annotation + i=0 :: non_neg_integer(), %Op number + vdb=[] :: [vdb_entry()], %Variable database + a=[] :: [term()]}). %Core annotation |