diff options
| author | James Crayne <jim.crayne@gmail.com> | 2017-10-30 06:43:57 +0000 |
|---|---|---|
| committer | James Crayne <jim.crayne@gmail.com> | 2017-10-30 06:43:57 +0000 |
| commit | dd0e843d33a3e483e1699697fb3a25e9d76351dc (patch) | |
| tree | f072528576f643eff8b52d4ffa8b1bc319a9d2fb | |
| parent | 4b4266424a6b1d1fb57e29f6c331462d5abb80e1 (diff) | |
defer-typed-holes to compile dhtd
| -rw-r--r-- | dht-client.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dht-client.cabal b/dht-client.cabal index c5985a41..06dc1339 100644 --- a/dht-client.cabal +++ b/dht-client.cabal | |||
| @@ -206,4 +206,5 @@ executable dhtd | |||
| 206 | if flag(thread-debug) | 206 | if flag(thread-debug) |
| 207 | build-depends: time | 207 | build-depends: time |
| 208 | cpp-options: -DTHREAD_DEBUG | 208 | cpp-options: -DTHREAD_DEBUG |
| 209 | ghc-options: -rtsopts | 209 | ghc-options: -rtsopts -fdefer-typed-holes |
| 210 | |||