Add COMPLETE pragma to (:/) (#397)
commit20ba787575807808d5872689a4787ae75d446de5
authorAlexandre Esteves <2335822+alexfmpe@users.noreply.github.com>
dateMon 8 Apr 2019, 15:52 (8 years ago)
parent2958402
ChangeLog.md+1
@@ -6,6 +6,7 @@ This project's release branch is `master`. This log is written from the perspect
66
77* Fix crashes of Android apps on 32-bit ARM devices.
88* Provide a way to indicate acceptance of the Android SDK license by passing `config.android_sdk.accept_license = true;` in the arguments to the import of `.obelisk/impl` in the project's `default.nix`.
9+* Add `COMPLETE` pragma to `(:/)`. Using this pattern synonym should no longer generate spurious warnings about non-exhaustive pattern matching.
910
1011## v0.1.0.0 - 2019-03-29
1112
lib/route/src/Obelisk/Route.hs+1−1
@@ -149,7 +149,7 @@ import Text.Read (readMaybe)
149149
150150type R f = DSum f Identity --TODO: Better name
151151
152−--TODO: COMPLETE pragma
152+{-# COMPLETE (:/) #-}
153153infixr 5 :/
154154pattern (:/) :: f a -> a -> R f
155155pattern a :/ b = a :=> Identity b