604e45d · rowtype-yoga/purescript-yoga-postgres

git.iko.soy/rowtype-yoga/purescript-yoga-postgres

on main help sign in

604e45dMark8 months ago

src/_CompileFailTest.pursdeleted−20

@@ -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" }