changelog/delta for shallow_clone
[gitmo/Moose.git] / lib / Moose / Manual / Delta.pod
1 package Moose::Manual::Delta;
2
3 # ABSTRACT: Important Changes in Moose
4
5 __END__
6
7 =pod
8
9 =head1 DESCRIPTION
10
11 This documents any important or noteworthy changes in Moose, with a
12 focus on things that affect backwards compatibility. This does duplicate data
13 from the F<Changes> file, but aims to provide more details and when possible
14 workarounds.
15
16 Besides helping keep up with changes, you can also use this document
17 for finding the lowest version of Moose that supported a given
18 feature.  If you encounter a problem and have a solution but don't see
19 it documented here, or think we missed an important feature, please
20 send us a patch.
21
22 =head1 2.0205
23
24 =over 4
25
26 =item Array and Hash native traits provide a C<shallow_clone> method
27
28 The Array and Hash native traits now provide a "shallow_clone" method, which
29 will return a reference to a new container with the same contents as the
30 attribute's reference.
31
32 =back
33
34 =head1 2.0100
35
36 =over 4
37
38 =item Hand-optimized type constraint code is deprecated in favor of inlining
39
40 Moose allows you to provide a hand-optimized version of a type constraint's
41 subroutine reference. This version allows type constraints to generate inline
42 code, and you should use this inlining instead of providing a hand-optimized
43 subroutine reference.
44
45 This affects the C<optimize_as> sub exported by
46 L<Moose::Util::TypeConstraints>. Use C<inline_as> instead.
47
48 This will start warning in the 2.0300 release.
49
50 =head1 2.0002
51
52 =over 4
53
54 =item More useful type constraint error messages
55
56 If you have L<Devel::PartialDump> version 0.14 or higher installed, Moose's
57 type constraint error messages will use it to display the invalid value, rather
58 than just displaying it directly. This will generally be much more useful. For
59 instance, instead of this:
60
61   Attribute (foo) does not pass the type constraint because: Validation failed for 'ArrayRef[Int]' with value ARRAY(0x275eed8)
62
63 the error message will instead look like
64
65   Attribute (foo) does not pass the type constraint because: Validation failed for 'ArrayRef[Int]' with value [ "a" ]
66
67 Note that L<Devel::PartialDump> can't be made a direct dependency at the
68 moment, because it uses Moose itself, but we're considering options to make
69 this easier.
70
71 =back
72
73 =head1 2.0000
74
75 =over 4
76
77 =item Roles have their own default attribute metaclass
78
79 Previously, when a role was applied to a class, it would use the attribute
80 metaclass defined in the class when copying over the attributes in the role.
81 This was wrong, because for instance, using L<MooseX::FollowPBP> in the class
82 would end up renaming all of the accessors generated by the role, some of which
83 may be being called in the role, causing it to break. Roles now keep track of
84 their own attribute metaclass to use by default when being applied to a class
85 (defaulting to Moose::Meta::Attribute). This is modifiable using
86 L<Moose::Util::MetaRole> by passing the C<applied_attribute> key to the
87 C<role_metaroles> option, as in:
88
89     Moose::Util::MetaRole::apply_metaroles(
90         for => __PACKAGE__,
91         class_metaroles => {
92             attribute => ['My::Meta::Role::Attribute'],
93         },
94         role_metaroles => {
95             applied_attribute => ['My::Meta::Role::Attribute'],
96         },
97     );
98
99 =item Class::MOP has been folded into the Moose dist
100
101 Moose and Class::MOP are tightly related enough that they have always had to be
102 kept pretty closely in step in terms of versions. Making them into a single
103 dist should simplify the upgrade process for users, as it should no longer be
104 possible to upgrade one without the other and potentially cause issues. No
105 functionality has changed, and this should be entirely transparent.
106
107 =item Moose's conflict checking is more robust and useful
108
109 There are two parts to this. The most useful one right now is that Moose will
110 ship with a C<moose-outdated> script, which can be run at any point to list the
111 modules which are installed that conflict with the installed version of Moose.
112 After upgrading Moose, running C<moose-outdated | cpanm> should be sufficient
113 to ensure that all of the Moose extensions you use will continue to work.
114
115 The other part is that Moose's C<META.json> file will also specify the
116 conflicts under the C<x_conflicts> key. We are working with the Perl tool chain
117 developers to try to get conflicts support added to CPAN clients, and if/when
118 that happens, the metadata already exists, and so the conflict checking will
119 become automatic.
120
121 =item Most deprecated APIs/features are slated for removal in Moose 2.0200
122
123 Most of the deprecated APIs and features in Moose will start throwing an error
124 in Moose 2.0200. Some of the features will go away entirely, and some will
125 simply throw an error.
126
127 The things on the chopping block are:
128
129 =over 8
130
131 =item * Old public methods in Class::MOP and Moose
132
133 This includes things like C<< Class::MOP::Class->get_attribute_map >>, C<<
134 Class::MOP::Class->construct_instance >>, and many others. These were
135 deprecated in L<Class::MOP> 0.80_01, released on April 5, 2009.
136
137 These methods will be removed entirely in Moose 2.0200.
138
139 =item * Old public functions in Class::MOP
140
141 This include C<Class::MOP::subname>, C<Class::MOP::in_global_destruction>, and
142 the C<Class::MOP::HAS_ISAREV> constant. The first two were deprecated in 0.84,
143 and the last in 0.80. Class::MOP 0.84 was released on May 12, 2009.
144
145 These functions will be removed entirely in Moose 2.0200.
146
147 =item * The C<alias> and C<excludes> option for role composition
148
149 These were renamed to C<-alias> and C<-excludes> in Moose 0.89, released on
150 August 13, 2009.
151
152 Passing these will throw an error in Moose 2.0200.
153
154 =item * The old L<Moose::Util::MetaRole> API
155
156 This include the C<apply_metaclass_roles()> function, as well as passing the
157 C<for_class> or any key ending in C<_roles> to C<apply_metaroles()>. This was
158 deprecated in Moose 0.93_01, released on January 4, 2010.
159
160 These will all throw an error in Moose 2.0200.
161
162 =item * Passing plain lists to C<type()> or C<subtype()>
163
164 The old API for these functions allowed you to pass a plain list of parameter,
165 rather than a list of hash references (which is what C<as()>, C<where>,
166 etc. return). This was deprecated in Moose 0.71_01, released on February 22,
167 2009.
168
169 This will throw an error in Moose 2.0200.
170
171 =item * The Role subtype
172
173 This subtype was deprecated in Moose 0.84, released on June 26, 2009.
174
175 This will be removed entirely in Moose 2.0200.
176
177 =back
178
179 =back
180
181 =head1 1.21
182
183 =over 4
184
185 =item * New release policy
186
187 As of the 2.0 release, Moose now has an official release and support policy,
188 documented in L<Moose::Manual::Support>. All API changes will now go through a
189 deprecation cycle of at least one year, after which the deprecated API can be
190 removed. Deprecations and removals will only happen in major releases.
191
192 In between major releases, we will still make minor releases to add new
193 features, fix bugs, update documentation, etc.
194
195 =back
196
197 =head1 1.16
198
199 =over 4
200
201 =item Configurable stacktraces
202
203 Classes which use the L<Moose::Error::Default> error class can now have
204 stacktraces disabled by setting the C<MOOSE_ERROR_STYLE> env var to C<croak>.
205 This is experimental, fairly incomplete, and won't work in all cases (because
206 Moose's error system in general is all of these things), but this should allow
207 for reducing at least some of the verbosity in most cases.
208
209 =back
210
211 =head1 1.15
212
213 =over 4
214
215 =item Native Delegations
216
217 In previous versions of Moose, the Native delegations were created as
218 closures. The generated code was often quite slow compared to doing the same
219 thing by hand. For example, the Array's push delegation ended up doing
220 something like this:
221
222   push @{ $self->$reader() }, @_;
223
224 If the attribute was created without a reader, the C<$reader> sub reference
225 followed a very slow code path. Even with a reader, this is still slower than
226 it needs to be.
227
228 Native delegations are now generated as inline code, just like other
229 accessors, so we can access the slot directly.
230
231 In addition, native traits now do proper constraint checking in all cases. In
232 particular, constraint checking has been improved for array and hash
233 references. Previously, only the I<contained> type (the C<Str> in
234 C<HashRef[Str]>) would be checked when a new value was added to the
235 collection. However, if there was a constraint that applied to the whole
236 value, this was never checked.
237
238 In addition, coercions are now called on the whole value.
239
240 The delegation methods now do more argument checking. All of the methods check
241 that a valid number of arguments were passed to the method. In addition, the
242 delegation methods check that the arguments are sane (array indexes, hash
243 keys, numbers, etc.) when applicable. We have tried to emulate the behavior of
244 Perl builtins as much as possible.
245
246 Finally, triggers are called whenever the value of the attribute is changed by
247 a Native delegation.
248
249 These changes are only likely to break code in a few cases.
250
251 The inlining code may or may not preserve the original reference when changes
252 are made. In some cases, methods which change the value may replace it
253 entirely. This will break tied values.
254
255 If you have a typed arrayref or hashref attribute where the type enforces a
256 constraint on the whole collection, this constraint will now be checked. It's
257 possible that code which previously ran without errors will now cause the
258 constraint to fail. However, presumably this is a good thing ;)
259
260 If you are passing invalid arguments to a delegation which were previously
261 being ignored, these calls will now fail.
262
263 If your code relied on the trigger only being called for a regular writer,
264 that may cause problems.
265
266 As always, you are encouraged to test before deploying the latest version of
267 Moose to production.
268
269 =item Defaults is and default for String, Counter, and Bool
270
271 A few native traits (String, Counter, Bool) provide default values of "is" and
272 "default" when you created an attribute. Allowing them to provide these values
273 is now deprecated. Supply the value yourself when creating the attribute.
274
275 =item The C<meta> method
276
277 Moose and Class::MOP have been cleaned up internally enough to make the
278 C<meta> method that you get by default optional. C<use Moose> and
279 C<use Moose::Role> now can take an additional C<-meta_name> option, which
280 tells Moose what name to use when installing the C<meta> method. Passing
281 C<undef> to this option suppresses generation of the C<meta> method
282 entirely. This should be useful for users of modules which also use a C<meta>
283 method or function, such as L<Curses> or L<Rose::DB::Object>.
284
285 =back
286
287 =head1 1.09
288
289 =over 4
290
291 =item All deprecated features now warn
292
293 Previously, deprecation mostly consisted of simply saying "X is deprecated" in
294 the Changes file. We were not very consistent about actually warning. Now, all
295 deprecated features still present in Moose actually give a warning. The
296 warning is issued once per calling package. See L<Moose::Deprecated> for more
297 details.
298
299 =item You cannot pass C<< coerce => 1 >> unless the attribute's type constraint has a coercion
300
301 Previously, this was accepted, and it sort of worked, except that if you
302 attempted to set the attribute after the object was created, you would get a
303 runtime error.
304
305 Now you will get a warning when you attempt to define the attribute.
306
307 =item C<no Moose>, C<no Moose::Role>, and C<no Moose::Exporter> no longer unimport strict and warnings
308
309 This change was made in 1.05, and has now been reverted. We don't know if the
310 user has explicitly loaded strict or warnings on their own, and unimporting
311 them is just broken in that case.
312
313 =item Reversed logic when defining which options can be changed
314
315 L<Moose::Meta::Attribute> now allows all options to be changed in an
316 overridden attribute. The previous behaviour required each option to be
317 whitelisted using the C<legal_options_for_inheritance> method. This method has
318 been removed, and there is a new method, C<illegal_options_for_inheritance>,
319 which can now be used to prevent certain options from being changeable.
320
321 In addition, we only throw an error if the illegal option is actually
322 changed. If the superclass didn't specify this option at all when defining the
323 attribute, the subclass version can still add it as an option.
324
325 Example of overriding this in an attribute trait:
326
327   package Bar::Meta::Attribute;
328   use Moose::Role;
329
330   has 'my_illegal_option' => (
331       isa => 'CodeRef',
332       is  => 'rw',
333   );
334
335   around illegal_options_for_inheritance => sub {
336       return ( shift->(@_), qw/my_illegal_option/ );
337   };
338
339 =back
340
341 =head1 1.05
342
343 =over 4
344
345 =item L<Moose::Object/BUILD> methods are now called when calling C<new_object>
346
347 Previously, C<BUILD> methods would only be called from C<Moose::Object::new>,
348 but now they are also called when constructing an object via
349 C<Moose::Meta::Class::new_object>. C<BUILD> methods are an inherent part of the
350 object construction process, and this should make C<< $meta->new_object >>
351 actually usable without forcing people to use C<< $meta->name->new >>.
352
353 =item C<no Moose>, C<no Moose::Role>, and C<no Moose::Exporter> now unimport strict and warnings
354
355 In the interest of having C<no Moose> clean up everything that C<use Moose>
356 does in the calling scope, C<no Moose> (as well as all other
357 L<Moose::Exporter>-using modules) now unimports strict and warnings.
358
359 =item Metaclass compatibility checking and fixing should be much more robust
360
361 The L<metaclass compatibility|Moose/METACLASS COMPATIBILITY AND MOOSE> checking
362 and fixing algorithms have been completely rewritten, in both Class::MOP and
363 Moose. This should resolve many confusing errors when dealing with non-Moose
364 inheritance and with custom metaclasses for things like attributes,
365 constructors, etc. For correct code, the only thing that should require a
366 change is that custom error metaclasses must now inherit from
367 L<Moose::Error::Default>.
368
369 =back
370
371 =head1 1.02
372
373 =over 4
374
375 =item Moose::Meta::TypeConstraint::Class is_subtype_of behavior
376
377 Earlier versions of L<is_subtype_of|Moose::Meta::TypeConstraint::Class/is_subtype_of>
378 would incorrectly return true when called with itself, its own TC name or
379 its class name as an argument. (i.e. $foo_tc->is_subtype_of('Foo') == 1) This
380 behavior was a caused by C<isa> being checked before the class name. The old
381 behavior can be accessed with L<is_type_of|Moose::Meta::TypeConstraint::Class/is_type_of>
382
383 =back
384
385 =head1 1.00
386
387 =over 4
388
389 =item Moose::Meta::Attribute::Native::Trait::Code no longer creates reader methods by default
390
391 Earlier versions of L<Moose::Meta::Attribute::Native::Trait::Code> created
392 read-only accessors for the attributes it's been applied to, even if you didn't
393 ask for it with C<< is => 'ro' >>. This incorrect behaviour has now been fixed.
394
395 =back
396
397 =head1 0.95
398
399 =over 4
400
401 =item Moose::Util add_method_modifier behavior
402
403 add_method_modifier (and subsequently the sugar functions Moose::before,
404 Moose::after, and Moose::around) can now accept arrayrefs, with the same
405 behavior as lists. Types other than arrayref and regexp result in an error.
406
407 =back
408
409 =head1 0.93_01 and 0.94
410
411 =over 4
412
413 =item Moose::Util::MetaRole API has changed
414
415 The C<apply_metaclass_roles> function is now called C<apply_metaroles>. The
416 way arguments are supplied has been changed to force you to distinguish
417 between metaroles applied to L<Moose::Meta::Class> (and helpers) versus
418 L<Moose::Meta::Role>.
419
420 The old API still works, but will warn in a future release, and eventually be
421 removed.
422
423 =item Moose::Meta::Role has real attributes
424
425 The attributes returned by L<Moose::Meta::Role> are now instances of the
426 L<Moose::Meta::Role::Attribute> class, instead of bare hash references.
427
428 =item "no Moose" now removes C<blessed> and C<confess>
429
430 Moose is now smart enough to know exactly what it exported, even when it
431 re-exports functions from other packages. When you unimport Moose, it will
432 remove these functions from your namespace unless you I<also> imported them
433 directly from their respective packages.
434
435 If you have a C<no Moose> in your code I<before> you call C<blessed> or
436 C<confess>, your code will break. You can either move the C<no Moose> call
437 later in your code, or explicitly import the relevant functions from the
438 packages that provide them.
439
440 =item L<Moose::Exporter> is smarter about unimporting re-exports
441
442 The change above comes from a general improvement to L<Moose::Exporter>. It
443 will now unimport any function it exports, even if that function is a
444 re-export from another package.
445
446 =item Attributes in roles can no longer override class attributes with "+foo"
447
448 Previously, this worked more or less accidentally, because role attributes
449 weren't objects. This was never documented, but a few MooseX modules took
450 advantage of this.
451
452 =item The composition_class_roles attribute in L<Moose::Meta::Role> is now a method
453
454 This was done to make it possible for roles to alter the the list of
455 composition class roles by applying a method modifiers. Previously, this was
456 an attribute and MooseX modules override it. Since that no longer works, this
457 was made a method.
458
459 This I<should> be an attribute, so this may switch back to being an attribute
460 in the future if we can figure out how to make this work.
461
462 =back
463
464 =head1 0.93
465
466 =over 4
467
468 =item Calling $object->new() is no longer deprecated
469
470 We decided to undeprecate this. Now it just works.
471
472 =item Both C<get_method_map> and C<get_attribute_map> is deprecated
473
474 These metaclass methods were never meant to be public, and they are both now
475 deprecated. The work around if you still need the functionality they provided
476 is to iterate over the list of names manually.
477
478     my %fields = map { $_ => $meta->get_attribute($_) } $meta->get_attribute_list;
479
480 This was actually a change in L<Class::MOP>, but this version of Moose
481 requires a version of L<Class::MOP> that includes said change.
482
483 =back
484
485 =head1 0.90
486
487 =over 4
488
489 =item Added Native delegation for Code refs
490
491 See L<Moose::Meta::Attribute::Native::Trait::Code> for details.
492
493 =item Calling $object->new() is deprecated
494
495 Moose has long supported this, but it's never really been documented, and we
496 don't think this is a good practice. If you want to construct an object from
497 an existing object, you should provide some sort of alternate constructor like
498 C<< $object->clone >>.
499
500 Calling C<< $object->new >> now issues a warning, and will be an error in a
501 future release.
502
503 =item Moose no longer warns if you call C<make_immutable> for a class with mutable ancestors
504
505 While in theory this is a good thing to warn about, we found so many
506 exceptions to this that doing this properly became quite problematic.
507
508 =back
509
510 =head1 0.89_02
511
512 =over 4
513
514 =item New Native delegation methods from L<List::Util> and L<List::MoreUtils>
515
516 In particular, we now have C<reduce>, C<shuffle>, C<uniq>, and C<natatime>.
517
518 =item The Moose::Exporter with_caller feature is now deprecated
519
520 Use C<with_meta> instead. The C<with_caller> option will start warning in a
521 future release.
522
523 =item Moose now warns if you call C<make_immutable> for a class with mutable ancestors
524
525 This is dangerous because modifying a class after a subclass has been
526 immutabilized will lead to incorrect results in the subclass, due to inlining,
527 caching, etc. This occasionally happens accidentally, when a class loads one
528 of its subclasses in the middle of its class definition, so pointing out that
529 this may cause issues should be helpful. Metaclasses (classes that inherit
530 from L<Class::MOP::Object>) are currently exempt from this check, since at the
531 moment we aren't very consistent about which metaclasses we immutabilize.
532
533 =item C<enum> and C<duck_type> now take arrayrefs for all forms
534
535 Previously, calling these functions with a list would take the first element of
536 the list as the type constraint name, and use the remainder as the enum values
537 or method names. This makes the interface inconsistent with the anon-type forms
538 of these functions (which must take an arrayref), and a free-form list where
539 the first value is sometimes special is hard to validate (and harder to give
540 reasonable error messages for). These functions have been changed to take
541 arrayrefs in all their forms - so, C<< enum 'My::Type' => [qw(foo bar)] >> is
542 now the preferred way to create an enum type constraint. The old syntax still
543 works for now, but it will hopefully be deprecated and removed in a future
544 release.
545
546 =back
547
548 =head1 0.89_01
549
550 L<Moose::Meta::Attribute::Native> has been moved into the Moose core from
551 L<MooseX::AttributeHelpers>.  Major changes include:
552
553 =over 4
554
555 =item C<traits>, not C<metaclass>
556
557 Method providers are only available via traits.
558
559 =item C<handles>, not C<provides> or C<curries>
560
561 The C<provides> syntax was like core Moose C<< handles => HASHREF >>
562 syntax, but with the keys and values reversed.  This was confusing,
563 and AttributeHelpers now uses C<< handles => HASHREF >> in a way that
564 should be intuitive to anyone already familiar with how it is used for
565 other attributes.
566
567 The C<curries> functionality provided by AttributeHelpers has been
568 generalized to apply to all cases of C<< handles => HASHREF >>, though
569 not every piece of functionality has been ported (currying with a
570 CODEREF is not supported).
571
572 =item C<empty> is now C<is_empty>, and means empty, not non-empty
573
574 Previously, the C<empty> method provided by Arrays and Hashes returned true if
575 the attribute was B<not> empty (no elements).  Now it returns true if the
576 attribute B<is> empty. It was also renamed to C<is_empty>, to reflect this.
577
578 =item C<find> was renamed to C<first>, and C<first> and C<last> were removed
579
580 L<List::Util> refers to the functionality that we used to provide under C<find>
581 as L<first|List::Util/first>, so that will likely be more familiar (and will
582 fit in better if we decide to add more List::Util functions). C<first> and
583 C<last> were removed, since their functionality is easily duplicated with
584 curries of C<get>.
585
586 =item Helpers that take a coderef of one argument now use C<$_>
587
588 Subroutines passed as the first argument to C<first>, C<map>, and C<grep> now
589 receive their argument in C<$_> rather than as a parameter to the subroutine.
590 Helpers that take a coderef of two or more arguments remain using the argument
591 list (there are technical limitations to using C<$a> and C<$b> like C<sort>
592 does).
593
594 See L<Moose::Meta::Attribute::Native> for the new documentation.
595
596 =back
597
598 The C<alias> and C<excludes> role parameters have been renamed to C<-alias>
599 and C<-excludes>. The old names still work, but new code should use the new
600 names, and eventually the old ones will be deprecated and removed.
601
602 =head1 0.89
603
604 C<< use Moose -metaclass => 'Foo' >> now does alias resolution, just like
605 C<-traits> (and the C<metaclass> and C<traits> options to C<has>).
606
607 Added two functions C<meta_class_alias> and C<meta_attribute_alias> to
608 L<Moose::Util>, to simplify aliasing metaclasses and metatraits. This is
609 a wrapper around the old
610
611   package Moose::Meta::Class::Custom::Trait::FooTrait;
612   sub register_implementation { 'My::Meta::Trait' }
613
614 way of doing this.
615
616 =head1 0.84
617
618 When an attribute generates I<no> accessors, we now warn. This is to help
619 users who forget the C<is> option. If you really do not want any accessors,
620 you can use C<< is => 'bare' >>. You can maintain back compat with older
621 versions of Moose by using something like:
622
623     ($Moose::VERSION >= 0.84 ? is => 'bare' : ())
624
625 When an accessor overwrites an existing method, we now warn. To work around
626 this warning (if you really must have this behavior), you can explicitly
627 remove the method before creating it as an accessor:
628
629     sub foo {}
630
631     __PACKAGE__->meta->remove_method('foo');
632
633     has foo => (
634         is => 'ro',
635     );
636
637 When an unknown option is passed to C<has>, we now warn. You can silence
638 the warning by fixing your code. :)
639
640 The C<Role> type has been deprecated. On its own, it was useless,
641 since it just checked C<< $object->can('does') >>. If you were using
642 it as a parent type, just call C<role_type('Role::Name')> to create an
643 appropriate type instead.
644
645 =head1 0.78
646
647 C<use Moose::Exporter;> now imports C<strict> and C<warnings> into packages
648 that use it.
649
650 =head1 0.77
651
652 C<DEMOLISHALL> and C<DEMOLISH> now receive an argument indicating whether or
653 not we are in global destruction.
654
655 =head1 0.76
656
657 Type constraints no longer run coercions for a value that already matches the
658 constraint.  This may affect some (arguably buggy) edge case coercions that
659 rely on side effects in the C<via> clause.
660
661 =head1 0.75
662
663 L<Moose::Exporter> now accepts the C<-metaclass> option for easily
664 overriding the metaclass (without L<metaclass>). This works for classes
665 and roles.
666
667 =head1 0.74
668
669 Added a C<duck_type> sugar function to L<Moose::Util::TypeConstraints>
670 to make integration with non-Moose classes easier. It simply checks if
671 C<< $obj->can() >> a list of methods.
672
673 A number of methods (mostly inherited from L<Class::MOP>) have been
674 renamed with a leading underscore to indicate their internal-ness. The
675 old method names will still work for a while, but will warn that the
676 method has been renamed. In a few cases, the method will be removed
677 entirely in the future. This may affect MooseX authors who were using
678 these methods.
679
680 =head1 0.73
681
682 Calling C<subtype> with a name as the only argument now throws an
683 exception. If you want an anonymous subtype do:
684
685     my $subtype = subtype as 'Foo';
686
687 This is related to the changes in version 0.71_01.
688
689 The C<is_needed> method in L<Moose::Meta::Method::Destructor> is now
690 only usable as a class method. Previously, it worked as a class or
691 object method, with a different internal implementation for each
692 version.
693
694 The internals of making a class immutable changed a lot in Class::MOP
695 0.78_02, and Moose's internals have changed along with it. The
696 external C<< $metaclass->make_immutable >> method still works the same
697 way.
698
699 =head1 0.72
700
701 A mutable class accepted C<< Foo->new(undef) >> without complaint,
702 while an immutable class would blow up with an unhelpful error. Now,
703 in both cases we throw a helpful error instead.
704
705 This "feature" was originally added to allow for cases such as this:
706
707   my $args;
708
709   if ( something() ) {
710       $args = {...};
711   }
712
713   return My::Class->new($args);
714
715 But we decided this is a bad idea and a little too magical, because it
716 can easily mask real errors.
717
718 =head1 0.71_01
719
720 Calling C<type> or C<subtype> without the sugar helpers (C<as>,
721 C<where>, C<message>) is now deprecated.
722
723 As a side effect, this meant we ended up using Perl prototypes on
724 C<as>, and code like this will no longer work:
725
726   use Moose::Util::TypeConstraints;
727   use Declare::Constraints::Simple -All;
728
729   subtype 'ArrayOfInts'
730       => as 'ArrayRef'
731       => IsArrayRef(IsInt);
732
733 Instead it must be changed to this:
734
735   subtype(
736       'ArrayOfInts' => {
737           as    => 'ArrayRef',
738           where => IsArrayRef(IsInt)
739       }
740   );
741
742 If you want to maintain backwards compat with older versions of Moose,
743 you must explicitly test Moose's C<VERSION>:
744
745   if ( Moose->VERSION < 0.71_01 ) {
746       subtype 'ArrayOfInts'
747           => as 'ArrayRef'
748           => IsArrayRef(IsInt);
749   }
750   else {
751       subtype(
752           'ArrayOfInts' => {
753               as    => 'ArrayRef',
754               where => IsArrayRef(IsInt)
755           }
756       );
757   }
758
759 =head1 0.70
760
761 We no longer pass the meta-attribute object as a final argument to
762 triggers. This actually changed for inlined code a while back, but the
763 non-inlined version and the docs were still out of date.
764
765 If by some chance you actually used this feature, the workaround is
766 simple. You fetch the attribute object from out of the C<$self>
767 that is passed as the first argument to trigger, like so:
768
769   has 'foo' => (
770       is      => 'ro',
771       isa     => 'Any',
772       trigger => sub {
773           my ( $self, $value ) = @_;
774           my $attr = $self->meta->find_attribute_by_name('foo');
775
776           # ...
777       }
778   );
779
780 =head1 0.66
781
782 If you created a subtype and passed a parent that Moose didn't know
783 about, it simply ignored the parent. Now it automatically creates the
784 parent as a class type. This may not be what you want, but is less
785 broken than before.
786
787 You could declare a name with subtype such as "Foo!Bar". Moose would
788 accept this allowed, but if you used it in a parameterized type such
789 as "ArrayRef[Foo!Bar]" it wouldn't work. We now do some vetting on
790 names created via the sugar functions, so that they can only contain
791 alphanumerics, ":", and ".".
792
793 =head1 0.65
794
795 Methods created via an attribute can now fulfill a C<requires>
796 declaration for a role. Honestly we don't know why Stevan didn't make
797 this work originally, he was just insane or something.
798
799 Stack traces from inlined code will now report the line and file as
800 being in your class, as opposed to in Moose guts.
801
802 =head1 0.62_02
803
804 When a class does not provide all of a role's required methods, the
805 error thrown now mentions all of the missing methods, as opposed to
806 just the first missing method.
807
808 Moose will no longer inline a constructor for your class unless it
809 inherits its constructor from Moose::Object, and will warn when it
810 doesn't inline. If you want to force inlining anyway, pass
811 C<< replace_constructor => 1 >> to C<make_immutable>.
812
813 If you want to get rid of the warning, pass C<< inline_constructor =>
814 0 >>.
815
816 =head1 0.62
817
818 Removed the (deprecated) C<make_immutable> keyword.
819
820 Removing an attribute from a class now also removes delegation
821 (C<handles>) methods installed for that attribute. This is correct
822 behavior, but if you were wrongly relying on it you might get bit.
823
824 =head1 0.58
825
826 Roles now add methods by calling C<add_method>, not
827 C<alias_method>. They make sure to always provide a method object,
828 which will be cloned internally. This means that it is now possible to
829 track the source of a method provided by a role, and even follow its
830 history through intermediate roles.  This means that methods added by
831 a role now show up when looking at a class's method list/map.
832
833 Parameter and Union args are now sorted, this makes Int|Str the same
834 constraint as Str|Int. Also, incoming type constraint strings are
835 normalized to remove all whitespace differences. This is mostly for
836 internals and should not affect outside code.
837
838 L<Moose::Exporter> will no longer remove a subroutine that the
839 exporting package re-exports. Moose re-exports the Carp::confess
840 function, among others. The reasoning is that we cannot know whether
841 you have also explicitly imported those functions for your own use, so
842 we err on the safe side and always keep them.
843
844 =head1 0.56
845
846 C<Moose::init_meta> should now be called as a method.
847
848 New modules for extension writers, L<Moose::Exporter> and
849 L<Moose::Util::MetaRole>.
850
851 =head1 0.55_01
852
853 Implemented metaclass traits (and wrote a recipe for it):
854
855   use Moose -traits => 'Foo'
856
857 This should make writing small Moose extensions a little
858 easier.
859
860 =head1 0.55
861
862 Fixed C<coerce> to accept anon types just like C<subtype> can.
863 So that you can do:
864
865   coerce $some_anon_type => from 'Str' => via { ... };
866
867 =head1 0.51
868
869 Added C<BUILDARGS>, a new step in C<< Moose::Object->new() >>.
870
871 =head1 0.49
872
873 Fixed how the C<< is => (ro|rw) >> works with custom defined
874 C<reader>, C<writer> and C<accessor> options. See the below table for
875 details:
876
877   is => ro, writer => _foo    # turns into (reader => foo, writer => _foo)
878   is => rw, writer => _foo    # turns into (reader => foo, writer => _foo)
879   is => rw, accessor => _foo  # turns into (accessor => _foo)
880   is => ro, accessor => _foo  # error, accesor is rw
881
882 =head1 0.45
883
884 The C<before/around/after> method modifiers now support regexp
885 matching of method names. NOTE: this only works for classes, it is
886 currently not supported in roles, but, ... patches welcome.
887
888 The C<has> keyword for roles now accepts the same array ref form that
889 L<Moose>.pm does for classes.
890
891 A trigger on a read-only attribute is no longer an error, as it's
892 useful to trigger off of the constructor.
893
894 Subtypes of parameterizable types now are parameterizable types
895 themselves.
896
897 =head1 0.44
898
899 Fixed issue where C<DEMOLISHALL> was eating the value in C<$@>, and so
900 not working correctly. It still kind of eats them, but so does vanilla
901 perl.
902
903 =head1 0.41
904
905 Inherited attributes may now be extended without restriction on the
906 type ('isa', 'does').
907
908 The entire set of Moose::Meta::TypeConstraint::* classes were
909 refactored in this release. If you were relying on their internals you
910 should test your code carefully.
911
912 =head1 0.40
913
914 Documenting the use of '+name' with attributes that come from recently
915 composed roles. It makes sense, people are using it, and so why not
916 just officially support it.
917
918 The C<< Moose::Meta::Class->create >> method now supports roles.
919
920 It is now possible to make anonymous enum types by passing C<enum> an
921 array reference instead of the C<< enum $name => @values >>.
922
923 =head1 0.37
924
925 Added the C<make_immutable> keyword as a shortcut to calling
926 C<make_immutable> on the meta object. This eventually got removed!
927
928 Made C<< init_arg => undef >> work in Moose. This means "do not accept
929 a constructor parameter for this attribute".
930
931 Type errors now use the provided message. Prior to this release they
932 didn't.
933
934 =head1 0.34
935
936 Moose is now a postmodern object system :)
937
938 The Role system was completely refactored. It is 100% backwards
939 compat, but the internals were totally changed. If you relied on the
940 internals then you are advised to test carefully.
941
942 Added method exclusion and aliasing for Roles in this release.
943
944 Added the L<Moose::Util::TypeConstraints::OptimizedConstraints>
945 module.
946
947 Passing a list of values to an accessor (which is only expecting one
948 value) used to be silently ignored, now it throws an error.
949
950 =head1 0.26
951
952 Added parameterized types and did a pretty heavy refactoring of the
953 type constraint system.
954
955 Better framework extensibility and better support for "making your own
956 Moose".
957
958 =head1 0.25 or before
959
960 Honestly, you shouldn't be using versions of Moose that are this old,
961 so many bug fixes and speed improvements have been made you would be
962 crazy to not upgrade.
963
964 Also, I am tired of going through the Changelog so I am stopping here,
965 if anyone would like to continue this please feel free.
966
967 =cut