fix curie-synonyms-raw: string=?: contract violation

webyrd / mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

MIT License

323 stars 53 forks source link

fix curie-synonyms-raw: string=?: contract violation #54

Closed jeffhhk closed 3 years ago

jeffhhk commented 3 years ago

fix: (curie-synonyms-raw "UMLS:C0156393") ; string=?: contract violation ; expected: string? ; given: #f databases: mk_databases=covid19,orange,pr-owl,robokop,rtx,semmed,sri_semmeddb,textminingprovider,sri-reference-kg-0.2.0,rtx2_2020_09_16,co-occur,umlsmeta