Commit 30b7d933 authored by Ashley Yakeley's avatar Ashley Yakeley

libraries/base/ Fixed is poly-kinded

parent 93024642
Pipeline #8191 canceled with stages
in 206 minutes and 38 seconds
......@@ -21,7 +21,7 @@
The type argument `r` is marked as `Inferred` to prevent it from
interfering with visible type application.
* Make `HasResolution` poly-kinded.
* Make `Fixed` and `HasResolution` poly-kinded.
* Add `HasResolution` instances for `Nat`s.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment