@@ -1,20 +0,0 @@
1−-- EXPECT: Lacks
2−module Yoga.Postgres.CompileFailTest where
3−
4−import Prelude
5−import Data.Maybe (Maybe(..))
6−import Type.Function (type (#))
7−import Type.Proxy (Proxy(..))
8−import Yoga.Postgres.Schema
9−
10−type UsersTable = Table "users"
11− ( id :: Int # PrimaryKey # AutoIncrement
12− , name :: String
13− , email :: String # Unique
14− , age :: Maybe Int
15− )
16−
17−usersTable :: Proxy UsersTable
18−usersTable = Proxy
19−
20−bad = from usersTable # selectAll # insert { name: "A", email: "a@b.com" }