git.iko.soy/typeable/compaREST
on master help sign in
StructuralMemoKey (#62)
commite0ffc455fff288a19863666e3b1a4cf699beab9c authoriko <ilyakooo0@gmail.com> dateTue 25 May 2021, 12:55 (5 years ago) parent5942040
1 file changed+1−1
compare with master
unifiedsplit
src/OpenAPI/Checker/Subtree.hs+1−1
src/OpenAPI/Checker/Subtree.hs+1−1
@@ -164,7 +164,7 @@ checkSubstructure
164164 => HList xs
165165 -> ProdCons (Traced t)
166166 -> StructuralCompatFormula ()
167−checkSubstructure e = memo SemanticMemoKey $ checkStructuralCompatibility e
167+checkSubstructure e = memo StructuralMemoKey $ checkStructuralCompatibility e
168168
169169structuralMaybe
170170 :: (Subtree a, HasAll (CheckEnv a) xs)