Verified Commit 33e6f910 authored by Camil Staps's avatar Camil Staps 🙂

Update to changes in submodules and Platform; remove ignored strictness annotations

parent 5e6e2771
Subproject commit 9b7cc1345450ab762744a8333dd0ec215b6a2585
Subproject commit f290fbe9227cfd8dbd2e6d5d743a3c8bfd8224ee
......@@ -105,10 +105,10 @@ from Cloogle.DB import
:: TemporaryDB
= { temp_functions :: ![[('Cloogle.DB'.FunctionEntry, 'Data.Set'.Set String)]]
, temp_classes :: ![[('Cloogle.DB'.ClassEntry, [(String, 'Cloogle.DB'.FunctionEntry, 'Data.Set'.Set String)])]]
, temp_instances :: ![[(!'Cloogle.DB'.Name, ![(!'Cloogle.DB'.Type, !String)], !'Cloogle.DB'.Location)]]
, temp_instances :: ![[('Cloogle.DB'.Name, [('Cloogle.DB'.Type, String)], 'Cloogle.DB'.Location)]]
, temp_types :: ![['Cloogle.DB'.TypeDefEntry]]
, temp_derivations :: ![[(!'Cloogle.DB'.Name, ![(!'Cloogle.DB'.Type, !String, !'Cloogle.DB'.Location)])]]
, temp_class_derivations :: ![[(!'Cloogle.DB'.Name, !'Cloogle.DB'.Type, !String, !'Cloogle.DB'.Location)]]
, temp_derivations :: ![[('Cloogle.DB'.Name, [('Cloogle.DB'.Type, String, 'Cloogle.DB'.Location)])]]
, temp_class_derivations :: ![[('Cloogle.DB'.Name, 'Cloogle.DB'.Type, String, 'Cloogle.DB'.Location)]]
, temp_modules :: ![(ModuleEntry, 'Data.Set'.Set String)]
}
// TODO function usages in instances/derivations
......@@ -692,7 +692,11 @@ where
NoLocation
(map 'Clean.Types'.toTypeVar class_args)
(all (\(_,fe,_) -> fe.fe_kind == Macro) members)
(flatten $ map 'Clean.Types'.toTypeContext class_context)
('Clean.Types'.TypeContext
[ tr
\\ 'Clean.Types'.TypeContext tc <- map 'Clean.Types'.toTypeContext class_context
, tr <- tc
])
(parseClassDoc typespecs pd comments)
, members
)
......
Subproject commit cabab52e5dd7880820c28df1130cfefd4585aba8
Subproject commit 37aeaea78b5f3e5d87b3da8b4dcbe6b6f1a44fdb
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