[#24] Handles pattern match failues from fromExtension

Problem: it turned out that the code for GHC extensions conversion that
we use from `haskell-src-meta` now does not handle the recently added
extensions, and on attempt to use the new LTS our interpolator fails
with pattern match error.

See #24 for
details.

Solution: use `spoon` to catch the pattern match failure.

Motivation: since the issued `haskell-src-meta` package version is
already on Hackage, there is not much we can do right now. Moreover,
some people wait for nyan-interpolation to work with the recent LTS.

So let's make it work at least somehow. I don't want to copy-paste the
canvas of code that `fromExtension` is, so I just use `teaspoon` to
catch the cases of extensions unhandled by `fromExtension` and ignore
them. As result, the most recent exceptions remain unsupported for now.

Separately I will try to fix `haskell-src-meta` and to make all the
extensions work the user will just need to bump their `haskell-src-meta`
dependency.

Author: Martoon-00

full/nyan-interpolation.cabal

@@ -74,6 +74,7 @@ library
     , haskell-src-exts
     , haskell-src-meta
     , nyan-interpolation-core
+    , spoon
     , template-haskell
     , text
   default-language: Haskell2010
@@ -132,6 +133,7 @@ test-suite nyan-interpolation-tests
     , haskell-src-meta
     , nyan-interpolation
     , nyan-interpolation-core
+    , spoon
     , tasty
     , tasty-hunit-compat
     , template-haskell

full/package.yaml

@@ -24,6 +24,7 @@ dependencies:
   - haskell-src-exts
   - haskell-src-meta
   - nyan-interpolation-core
+  - spoon
   - template-haskell
   - text
 

full/src/Text/Interpolation/Nyan/Full.hs

@@ -19,6 +19,9 @@ import Language.Haskell.Meta.Syntax.Translate (toExp)
 import Language.Haskell.TH (extsEnabled)
 
 #if MIN_VERSION_haskell_src_meta(0,8,9)
+import Control.Exception (Handler (..), PatternMatchFail (..))
+import Control.Monad (join)
+import Control.Spoon (teaspoonWithHandles)
 import Data.Maybe (mapMaybe)
 import Language.Haskell.Exts.Extension (Extension (..), Language (..))
 import Language.Haskell.Exts.Parser (baseLanguage)
@@ -38,7 +41,11 @@ Known issues:
   for the interpolated values.
   With the modern version of @haskell-src-meta@, we do our best to be trasparent
   and pick the extensions enabled in the module where interpolator is called
-  (some rare extensions may still be unsupported).
+  (some rare extensions may still be unsupported since they are not represented
+  in @haskell-src-exts@ or in @template-haskell@ packages).
+
+* Some very modern extensions might be not allowed; if you face such issue,
+  try using the most recent version of @haskell-src-meta@.
 
 -}
 fullHaskellValueInterpolator :: ValueInterpolator
@@ -61,7 +68,18 @@ fullHaskellValueInterpolator = ValueInterpolator $ \txt -> do
   where
     providedExtensions =
 #if MIN_VERSION_haskell_src_meta(0,8,9)
-      map EnableExtension . mapMaybe fromExtension
+      -- There is a period of time when fromExtension didn't handle
+      -- some cases in its pattern match.
+      -- See https://github.com/haskell-party/haskell-src-meta/issues/40
+      --
+      -- If some extension is unknown to it, we will just pretend it
+      -- does not exist.
+      let fromExtensionSafe ext =
+            join . teaspoonWithHandles
+              [Handler \(_ :: PatternMatchFail) -> pure Nothing] $
+              fromExtension ext
+
+      in map EnableExtension . mapMaybe fromExtensionSafe
 #else
       -- There is no easy way to do the conversion between template-haskell's
       -- and haskell-src-exts's Extension types, so using only language-default

full/tests/Test/Interpolator.hs

@@ -31,4 +31,11 @@ test_DefaultInterpolator = testGroup "Default interpolator"
       [int|t|#d{succ . succ $ 5 + 7 `div` 2}|]
         @?= "10"
 
+  , -- We want to ensure that at least basic extensions work in the interpolator
+    testGroup "Code with extensions works"
+    [ testCase "TypeApplications works" do
+        [int|t|#{id @Int 1}|]
+          @?= "1"
+    ]
+
   ]