| commit | e9eebb939e3825e503903d9939c69d504f74ee91 | |
| author | Dwayne Reeves <dreeves@fb.com> | |
| Sat, 11 Jul 2015 19:02:13 +0000 (11 12:02 -0700) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Sat, 11 Jul 2015 19:32:20 +0000 (11 12:32 -0700) | ||
| tree | ea41868e68f525193b76d5d5b3dad67a21562b18 | treesnapshot (tar.gz zip) |
| parent | 7e6edac27c8994c7e1839f9515bbe6dfc13a5e58 | commitdiff |
Fix infinite recursion in Typing_utils.simplified_uerror
Summary: Had a bug where we would continually try to simplify an unification error
produced by an unconstraint expression dependent type. When checking if we
should simplify I need to make sure its not only a expression dependent type
but also wraps some base type.
Reviewed By: @int3
Differential Revision: D2235706
Summary: Had a bug where we would continually try to simplify an unification error
produced by an unconstraint expression dependent type. When checking if we
should simplify I need to make sure its not only a expression dependent type
but also wraps some base type.
Reviewed By: @int3
Differential Revision: D2235706
| hphp/hack/src/typing/typing_utils.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/tconst/simplify_error.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/tconst/simplify_error.php.exp | [new file with mode: 0644] | blob |