Commit 147b7df1 authored by Finn Teegen's avatar Finn Teegen
Browse files

Add todo

See #107
parent 0fae7e7b
......@@ -211,6 +211,7 @@ enterInitialPredSet clsEnv (DeriveInfo spi tc pty _ clss) =
-- Note: The methods and arities entered into the instance environment have
-- to match methods and arities of the later generated instance declarations.
-- TODO: Add remark about value environment entry
bindDerivedInstance :: HasSpanInfo s => ClassEnv -> s -> QualIdent -> PredType -> QualIdent
-> INCM ()
......
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