git.iko.soy/rowtype-yoga/purescript-yoga-postgres
on main help sign in
rowtype-yoga/purescript-yoga-postgres/compile-fail-tests/InvalidColumnInSelect.purs
20 lines 462 B history raw
1-- EXPECT: NoInstanceFound
2module Test.CompileFail.InvalidColumnInSelect where
4import Prelude
5import Data.Maybe (Maybe(..))
6import Type.Function (type (#))
7import Type.Proxy (Proxy(..))
8import Yoga.Postgres.Schema
10type UsersTable = Table "users"
11 ( id :: Int # PrimaryKey # AutoIncrement
12 , name :: String
13 , email :: String # Unique
14 , age :: Maybe Int
15 )
17usersTable :: Proxy UsersTable
18usersTable = Proxy
20bad = from usersTable # select @"nonexistent"