remove some garbage
commit41f8082bd18d895eccea8e07e09b7ba0379d2e0d
authorEitan Chatav <eitan.chatav@gmail.com>
dateFri 23 Feb 2018, 12:51 (9 years ago)
parentf093f29
squeal-postgresql/src/Squeal/PostgreSQL/Untitled-1deleted−5
@@ -1,5 +0,0 @@
1−:{
2−type Schema0 = '["tab" ::: '[] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4]]
3−type Schema1 = '["tab" ::: '["positive" ::: 'Check ] :=> '["col" ::: 'NoDef :=> 'NotNull 'PGint4]]
4−let x = 'x'
5−:}