search

ygrek / sqlgg

SQL Guided (code) Generator
https://ygrek.org/p/sqlgg/
GNU General Public License v2.0
62 stars 20 forks source link

regression caused by #95 #100

Closed cyberhuman closed 4 years ago

cyberhuman commented 4 years ago

ref #95 and e10442a1363d4a5a66a93509359ff97c4a46c50e 

create table foo ( bar integer not null );
select bar <> 0 AS bar from foo;
resolve_types failed with Failure("types do not match : 'a -> 'a -> Bool applied to (Bool, Int)") at:
`Func (('a -> 'a -> Bool, [`Value (Bool); `Value (Int)]))
Failed : select bar <> 0 AS bar from foo
Fatal error: exception Failure("types do not match : 'a -> 'a -> Bool applied to (Bool, Int)")