git.iko.soy/obelisk
on master help sign in
Add COMPLETE pragma to (:/) (#397)
20ba787Alexandre Esteves
ChangeLog.md+1
compare with master
unifiedsplit
@@ -6,6 +6,7 @@ This project's release branch is `master`. This log is written from the perspect
6
6
7* Fix crashes of Android apps on 32-bit ARM devices.
7* Fix crashes of Android apps on 32-bit ARM devices.
8* 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`.
8* 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.
9
10
10## v0.1.0.0 - 2019-03-29
11## v0.1.0.0 - 2019-03-29
11
12
lib/route/src/Obelisk/Route.hs+1−1
@@ -149,7 +149,7 @@ import Text.Read (readMaybe)
149
149
150type R f = DSum f Identity --TODO: Better name
150type R f = DSum f Identity --TODO: Better name
151
151
152−--TODO: COMPLETE pragma
152+{-# COMPLETE (:/) #-}
153infixr 5 :/
153infixr 5 :/
154pattern (:/) :: f a -> a -> R f
154pattern (:/) :: f a -> a -> R f
155pattern a :/ b = a :=> Identity b
155pattern a :/ b = a :=> Identity b