The Perl Toolchain Summit needs more sponsors. If your company depends on Perl, please support this very important event.

NAME

Devel::TypeCheck::Type::Omicron - Type representing arrays.

SYNOPSIS

 use Devel::TypeCheck::Type::Omicron;

DESCRIPTION

This class represents the Omicron (capital 'O') terminal in the type language. As such, it maintains type information for arrays. This class is a little bit different than the others, because it can represent two essentially different types: lists of homogeneous typed values, or tuples of heterogeneous types. This has an adaptation to the unify() algorithm where a tuple can be unified with a list through promotion to a list if all elements of the tuple can be unified with the list element type. Lists cannot be demoted to tuples.

Inherits from Devel::TypeCheck::Type and Devel::TypeCheck::TSub.

AUTHOR

Gary Jackson, <bargle at umiacs.umd.edu>

BUGS

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 & LICENSE

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.