Commit Graph

11 Commits

Author SHA1 Message Date
rightfold
15a86ad15b Read OID–PureScript mappings from a configurable file in purspgpp
Fixes #4.
2016-12-25 02:12:00 +01:00
rightfold
7d1f188bd7 Shorten 0 ..^ to ^ in purspgpp 2016-12-25 01:22:09 +01:00
rightfold
c1260c6d5f Add --syntax-only flag to purspgpp 2016-12-25 00:24:39 +01:00
rightfold
a36526e24f Default to stdout output in purspgpp 2016-12-25 00:06:34 +01:00
rightfold
b4f8b5eaad OID 2951 is uuid[], not text[]
Fixes #3.
2016-12-24 13:47:36 +01:00
rightfold
6fb1844d4d Add string array OID and check for OIDs 2016-12-22 23:22:00 +01:00
rightfold
d86e229702 Add out file parameter to purspgpp 2016-12-22 23:02:02 +01:00
rightfold
d98f1e3174 Add type specifications to more purspgpp functions 2016-12-22 20:32:52 +01:00
rightfold
1c770e8f20 Make connection string a command line parameter in purspgpp 2016-12-22 20:31:30 +01:00
rightfold
4128b03e2b Add command line parameter to purspgpp 2016-12-22 20:28:47 +01:00
rightfold
dfc3ba5abb Add preprocessor 2016-12-22 20:22:18 +01:00