cliffxuan / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

FuXi cannot handle existentials in the head #54

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
FuXi cannot handle existential in the head despite the fact that there are 
several approaches for handling such situations.  This issue can be reproduced 
via this test case: 
http://code.google.com/p/fuxi/source/browse/test/testExistentialInHead.py

Original issue reported on code.google.com by chime...@gmail.com on 12 Nov 2011 at 2:17

GoogleCodeExporter commented 9 years ago

Original comment by chime...@gmail.com on 9 Nov 2012 at 10:28