Verified Commit cb66601e authored by Camil Staps's avatar Camil Staps 🚀

Fix run-time error in unifyInformation

parent 2bc7e704
...@@ -103,6 +103,7 @@ search` {unify,name,className,typeName,using,modules,libraries,page,include_buil ...@@ -103,6 +103,7 @@ search` {unify,name,className,typeName,using,modules,libraries,page,include_buil
unifyInformation :: !(Maybe Type) !(Map String [TypeDef]) ![TypeDef] !FunctionEntry !*CloogleDB unifyInformation :: !(Maybe Type) !(Map String [TypeDef]) ![TypeDef] !FunctionEntry !*CloogleDB
-> *(!Maybe Unifier, ![TypeDef], !Maybe [(!String, ![LocationResult])], !*CloogleDB) -> *(!Maybe Unifier, ![TypeDef], !Maybe [(!String, ![LocationResult])], !*CloogleDB)
unifyInformation orgsearchtype allsyns usedsyns fe db unifyInformation orgsearchtype allsyns usedsyns fe db
| isNothing fe.fe_type = (Nothing, usedsyns, Nothing, db)
# (alwaysUnique,db) = alwaysUniquePredicate db # (alwaysUnique,db) = alwaysUniquePredicate db
# (usedsyns,fe_type) = appFst (flip (++) usedsyns) $ prep alwaysUnique $ fromJust fe.fe_type # (usedsyns,fe_type) = appFst (flip (++) usedsyns) $ prep alwaysUnique $ fromJust fe.fe_type
# tvas = orgsearchtype >>= unify fe_type # tvas = orgsearchtype >>= unify fe_type
......
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