ppx_distr_guards
Extension to distribute guards over or-patterns
Description
function%distr A x, _ | _, A x when p x -> e
will result in function A x, _ when p x -> e | _, A x when p x -> e
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 26 Feb 2020
- Authors
- Maintainers
Sources
ppx_distr_guards-v0.2.tbz
sha256=a6e7efa882e0492648e0d08f5c8c4fdaa3fc47b546d15ea3aebecc0736c36e1f
sha512=4fbfa77d3947106dbe384eb5f6e61e235b2c4a13e7f49ca59e9479eb9ce4f75239be26a5f0633e17cf41bf7d1e53d3d50808ca53e145e847e61380602d0e9b84
Dependencies
Reverse Dependencies
goblint
< "2.0.0"