Verified Commit b8bb9ccf authored by Camil Staps's avatar Camil Staps 🙂

Add required_context hints on type search

parent 8bb1c677
......@@ -87,6 +87,7 @@ from GenEq import generic gEq
= { func :: String //* A string representation of the type
, kind :: FunctionKind //* The kind of function
, unifier :: Maybe StrUnifier //* A unifier, if the request included a type
, required_context :: Maybe [(String, [LocationResult])] //* Instances or derivations that are needed (if the request included a type)
, cls :: Maybe ShortClassResult //* The class, if this is a class member
, constructor_of :: Maybe String //* The type that this is a constructor of
, recordfield_of :: Maybe String //* The type that this is a record field 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