Incorrected code generated from SQL expressions type
- Dominant language
- Haskell
- Stars
- 8
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
If you install language-sqlite and add this module in QF:
```
{-# LANGUAGE TemplateHaskell, FlexibleInstances, ConstraintKinds #-}
module SQL where
import Test.QuickCheck
import Data.Binary( Binary(..), encode )
import Data.DeriveTH
import DeriveArbitrary
import ByteString
import Vector
import qualified Data.ByteString.Lazy as L
import qualified Data.ByteString.Lazy.Char8 as L8
import Language.SQL.SQLite
import Strings
$(devArbitrary ''Expression)
encode :: Expression -> L8.ByteString
encode x = L8.intercalate (L8.pack " ") $ map (L8.pack . show) $ showTokens x
```
will generate incorrect code (type error).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.