Verified Commit 10ba1b54 authored by Camil Staps's avatar Camil Staps 🚀

Resolve #165: resolve always-unique types before unification

parent d7c9fb45
Subproject commit ad80239271d563600088750ee765aa80a0749cbc
Subproject commit dd1c28032fa4815e4195fb954171fc20cfb49ded
......@@ -63,10 +63,11 @@ where toString rck = toString $ toJSON rck
toRequestCacheKey :: !*CloogleDB !Request -> *(!RequestCacheKey, !*CloogleDB)
toRequestCacheKey db r
# (alwaysUnique,db) = alwaysUniquePredicate db
# (allsyns,db) = allTypeSynonyms db
= (
{ c_unify = snd <$>
prepare_unification True allsyns <$>
prepare_unification True alwaysUnique allsyns <$>
(parseType o fromString =<< r.unify)
, c_name = toLowerCase <$> r.name
, c_className = r.className
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment