diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2021-01-26 02:02:12 +0100 |
|---|---|---|
| committer | Silvan Mosberger <contact@infinisil.com> | 2021-01-27 00:16:23 +0100 |
| commit | e9101d4a3bc90dfaaa076d8ec00e5ed68e518f60 (patch) | |
| tree | 02be0990cb474e19ef52dfb9ad5ee15b99cb228b /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 8ac4b251c8a319909a29aa103101eeed82ca7d3e (diff) | |
lib/types: Improved functionTo merging
Now type checks the resulting function values and allows mkMerge and co.
Also indicates that the type check is done in the function body
Co-Authored-By: Robert Hensing <robert@roberthensing.nl>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions