CIFASIS / CIFASIS/megadeth

Incorrected code generated from SQL expressions type

Open
#5 0 comments 0 reactions 0 assignees View on GitHub
bug
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.