With an empty database, cannot create new properties

jamesdabbs / pi-base.hs

A Haskell-powered modernization of Counterexamples in Topology

MIT License

39 stars 5 forks source link

With an empty database, cannot create new properties #40

Closed konradvoelkel closed 9 years ago

konradvoelkel commented 9 years ago

Getting InternalError "Could not find expected 'boolean' value set" since the database doesn't contain anything yet. There is a FIXME in the code at Form/Properties.hs which seems to cause the problems.