add pet_id_arg_from_type
commit5830e808a7060b5f1c18617f73dc5bdf12de8f57
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 11 Aug 2015 15:53:17 +0000 (11 17:53 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 10 Nov 2015 11:04:32 +0000 (10 12:04 +0100)
tree5df1b965fdd8c6896f8a191d45b98d439f55a07b
parent1e458a61cdf71b9e5a0adf197de3dd758af18ed4
add pet_id_arg_from_type

This allows for the creation of an identifier without associated ValueDecl.
Instead, a type is associated to the identifier.
The functions that expect an associated ValueDecl are adjusted accordingly.

This new type of identifier will be useful for representing index
expressions in the inliner that will be introduced next.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
id.cc
id.h