add a random test instance for PostgreSQL.

rr-quickcheck/RDBMs/PostgreSQL/createDB.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+
+set -x
+
+createdb hrrtest
+echo "CREATE SCHEMA ARBITRARY0" | psql hrrtest

rr-quickcheck/RDBMs/PostgreSQL/createUser.sh

@@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -x
+
+createuser -d $USER

rr-quickcheck/RDBMs/PostgreSQL/main.hs

@@ -0,0 +1,6 @@
+
+import Database.HDBC.PostgreSQL (connectPostgreSQL)
+import Test.Relational.QuickCheck.Tests (tests)
+import Test.QuickCheck.Simple (defaultMain)
+
+main = defaultMain . tests $ connectPostgreSQL "dbname=hrrtest"

rr-quickcheck/sql/tables.sql

@@ -1,5 +1,3 @@
-CREATE SCHEMA ARBITRARY0;
-
 CREATE TABLE ARBITRARY0.a
   ( a0 BIGINT NOT NULL
   , a1 BIGINT NOT NULL