diff options
Diffstat (limited to 'plug/src/Montis/Constraints.hs')
| -rw-r--r-- | plug/src/Montis/Constraints.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plug/src/Montis/Constraints.hs b/plug/src/Montis/Constraints.hs index f1f15ff..8c7957f 100644 --- a/plug/src/Montis/Constraints.hs +++ b/plug/src/Montis/Constraints.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -Wno-missing-export-lists #-} -- | Contains useful constraints and constraint combinators for type-level -- metaprogramming. module Montis.Constraints where |