Commit 3889482a authored by Camil Staps's avatar Camil Staps 🍃

Update for Platform; remove ignored strictness annotations

parent 707826df
......@@ -66,15 +66,15 @@ derive JSONEncode ClassDoc, ClassEntry, ClassMemberDoc, CloogleEntry,
Constructor, ConstructorDoc, DeriveEntry, FunctionDoc, FunctionEntry,
InstanceEntry, Location, ModuleDoc, ModuleEntry, Priority, RecordField,
SyntaxEntry, Type, TypeDef, TypeDefEntry, TypeDefRhs, TypeDoc, ParamDoc,
TypeContext, TypeRestriction, ABCInstructionEntry, Property,
PropertyVarInstantiation, MultiLineString, NGramIndex,
TypeContext, TypeRestriction, ABCInstructionEntry, PropertyBootstrapDoc,
Property, PropertyVarInstantiation, MultiLineString, NGramIndex,
PropertyTestGenerator, Regex, GroupId
derive JSONDecode ClassDoc, ClassEntry, ClassMemberDoc, CloogleEntry,
Constructor, ConstructorDoc, DeriveEntry, FunctionDoc, FunctionEntry,
InstanceEntry, Location, ModuleDoc, ModuleEntry, Priority, RecordField,
SyntaxEntry, Type, TypeDef, TypeDefEntry, TypeDefRhs, TypeDoc, ParamDoc,
TypeContext, TypeRestriction, ABCInstructionEntry, Property,
PropertyVarInstantiation, MultiLineString, NGramIndex,
TypeContext, TypeRestriction, ABCInstructionEntry, PropertyBootstrapDoc,
Property, PropertyVarInstantiation, MultiLineString, NGramIndex,
PropertyTestGenerator, Regex, GroupId
printersperse :: Bool a [b] -> [String] | print a & print b
......
......@@ -40,7 +40,7 @@ search` :: !Request !*CloogleDB ->
*(!Maybe Type
, !(Map String [TypeDef])
, ![TypeDef]
, ![!(!CloogleEntry, ![!Annotation!])!]
, ![!(CloogleEntry, [!Annotation!])!]
, !*CloogleDB
)
......
......@@ -68,7 +68,7 @@ search` :: !Request !*CloogleDB ->
*(!Maybe Type
, !(Map String [TypeDef])
, ![TypeDef]
, ![!(!CloogleEntry, ![!Annotation!])!]
, ![!(CloogleEntry, [!Annotation!])!]
, !*CloogleDB
)
search` {unify,name,exactName,className,typeName,using,modules,libraries,page,include_builtins,include_core,include_apps} cdb
......
......@@ -212,7 +212,7 @@ instance < Request where < a b = (gLexOrd{|*|} a b)=:'Data.GenLexOrd'.LT
findConstraints ::
![(Request, RankConstraint)]
!(Map Request (!Maybe Type,!Map String [TypeDef],![TypeDef],![!(!CloogleEntry,![!Annotation!])!]))
!(Map Request (!Maybe Type,!Map String [TypeDef],![TypeDef],![!(CloogleEntry,[!Annotation!])!]))
!*CloogleDB -> *([String], *CloogleDB)
findConstraints [(req,LT urid1 urid2):rest] results cdb
# (orgsearchtype,allsyns,usedsyns,entries,cdb) = case 'Data.Map'.get req results of
......
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