Verified Commit 4dc66b6d authored by Camil Staps's avatar Camil Staps 🙂

module_doc is redundant; use documentation in BasicResult

parent 89ba64cb
......@@ -86,7 +86,6 @@ from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode
:: ModuleResult :== (BasicResult, ModuleResultExtras)
:: ModuleResultExtras
= { module_is_core :: Bool
, module_doc :: Maybe String
}
:: LocationResult :== (String, String, Maybe Int, Maybe Int)
......
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