[flang] Resolve derived type parameters
authorTim Keith <tkeith@nvidia.com>
Tue, 4 Sep 2018 17:28:27 +0000 (10:28 -0700)
committerTim Keith <tkeith@nvidia.com>
Tue, 4 Sep 2018 17:28:27 +0000 (10:28 -0700)
commit91168ff9be9e1e43b18019db6c4ed286871311b7
tree001b154225206f2c6b85f11d1ea2bf10d516eed2
parent1b50885a3f1758cf25ea7a9bd1b1ee510da01760
[flang] Resolve derived type parameters

Add TypeParamDetails for symbols that represent type parameters.
Create such symbols when a type-param-def-stmt is encountered.

At the end of the derived-type-def, check the parameters named
in the type-param-name-list against those encountered in each
type-param-def-stmt.

Original-commit: flang-compiler/f18@c15247bb30311e7166429a34db510cb8c736bd66
Reviewed-on: https://github.com/flang-compiler/f18/pull/173
Tree-same-pre-rewrite: false
flang/lib/semantics/mod-file.cc
flang/lib/semantics/resolve-names.cc
flang/lib/semantics/symbol.cc
flang/lib/semantics/symbol.h
flang/test/semantics/CMakeLists.txt
flang/test/semantics/modfile11.f90 [new file with mode: 0644]
flang/test/semantics/resolve33.f90 [new file with mode: 0644]