Devel::TypeCheck::Type::TVar - Methods to inherit for types that allow type variables as subtypes.
use Devel::TypeCheck::Type::TVar; @ISA = (... Devel::TypeCheck::Type::TVar ...)
This type overrides the unify method from Devel::TypeCheck::Type to allow for having a type variable as a subtype.
Inherits from Devel::TypeCheck::Type.
<bargle at umiacs.umd.edu>
This version is specific to Perl 5.8.1. It may work with other versions that have the same opcode list and structure, but this is entirely untested. It definitely will not work if those parameters change.
Please report any bugs or feature requests to
bug-devel-typecheck at rt.cpan.org, or through the web interface at http://rt.cpan.org/NoAuth/ReportBug.html?Queue=Devel-TypeCheck. I will be notified, and then you'll automatically be notified of progress on your bug as I make changes.
Copyright 2005 Gary Jackson, all rights reserved.
This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.