SimonJF / skye-gtopdb

Implementation of the GtoPdb in Links
Apache License 2.0
0 stars 0 forks source link

Assert failure on some family pages #15

Open SimonJF opened 5 years ago

SimonJF commented 5 years ago

We get the familiar

"Assert_failure core/query/query.ml:164:62"

on a few family pages. As discussed before, it seems that there's somewhere that type inference for queries isn't working correctly. This needs further investigation.

jamescheney commented 5 years ago

See also https://github.com/links-lang/links/issues/490