Do not error on any AppT in sqlMaybeSelectProcessRowDec

changelog.md

@@ -1,3 +1,9 @@
+3.5.13.1
+========
+- @csamak
+    - [#405](https://github.com/bitemyapp/esqueleto/pull/405)
+      - Fix a bug introduced in 3.5.12.0 where deriveEsqueletoRecord incorrectly errors
+
 3.5.13.0
 ========
 - @ac251

esqueleto.cabal

@@ -2,7 +2,7 @@ cabal-version: 1.12
 
 name:           esqueleto
 
-version:        3.5.13.0
+version:        3.5.13.1
 synopsis:       Type-safe EDSL for SQL queries on persistent backends.
 description:    @esqueleto@ is a bare bones, type-safe EDSL for SQL queries that works with unmodified @persistent@ SQL backends.  Its language closely resembles SQL, so you don't have to learn new concepts, just new syntax, and it's fairly easy to predict the generated SQL and optimize it for your backend. Most kinds of errors committed when writing SQL are caught as compile-time errors---although it is possible to write type-checked @esqueleto@ queries that fail at runtime.
                 .

src/Database/Esqueleto/Record.hs

@@ -261,7 +261,7 @@
                   (c : _) -> pure c
                   [] -> fail $ "Cannot derive Esqueleto record for a type with no constructors: " ++ show name
   let constructorName =
         case head constructors of
           RecC name' _fields -> name'
           con -> error $ nonRecordConstructorMessage con
       fields = getFields constructor
@@ -648,7 +648,7 @@
         -- If there's GADTs where multiple constructors are declared with the
         -- same type signature you're evil and furthermore this diagnostic will
         -- only show you the first name.
         (GadtC names _fields _ret) -> head names
         (RecGadtC names _fields _ret) -> head names
 
 makeToAliasInstance :: RecordInfo -> Q Dec
@@ -935,10 +935,8 @@
       ]
   where
     wrapJust x = case x of
-      AppT (ConT ((==) ''Entity -> True)) _innerType -> id
       ((ConT ((==) ''Maybe -> True)) `AppT` _inner) -> AppE (ConE 'Just)
-      (ConT _) -> id
-      _ -> error $ show x
+      _ -> id
 
 -- | Generates the `sqlSelectColCount` declaration for an `SqlSelect` instance.
 sqlMaybeSelectColCountDec :: RecordInfo -> Q Dec