diff options
| author | idontgetoutmuch <dominic@steinitz.org> | 2018-04-01 05:43:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-01 05:43:38 -0700 |
| commit | c8c6a3e414bb08e3f818f58c121ddc99396b4f1e (patch) | |
| tree | daf3add31de83efcc74b41755c2d05c811242ce6 /packages/base/src/Internal/Devel.hs | |
| parent | d83b17190029c11e3ab8b504e5cdc917f5863120 (diff) | |
| parent | 1a68793247b8845cefad4d157e4f4d25b1731b42 (diff) | |
Merge pull request #262 from idontgetoutmuch/master
Implement CI
Diffstat (limited to 'packages/base/src/Internal/Devel.hs')
| -rw-r--r-- | packages/base/src/Internal/Devel.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/base/src/Internal/Devel.hs b/packages/base/src/Internal/Devel.hs index 3887663..f72d8aa 100644 --- a/packages/base/src/Internal/Devel.hs +++ b/packages/base/src/Internal/Devel.hs | |||
| @@ -54,6 +54,7 @@ check msg f = do | |||
| 54 | 54 | ||
| 55 | -- | postfix error code check | 55 | -- | postfix error code check |
| 56 | infixl 0 #| | 56 | infixl 0 #| |
| 57 | (#|) :: IO CInt -> String -> IO () | ||
| 57 | (#|) = flip check | 58 | (#|) = flip check |
| 58 | 59 | ||
| 59 | -- | Error capture and conversion to Maybe | 60 | -- | Error capture and conversion to Maybe |