git.iko.soy/Idris-dev
on master help sign in
Fix whitespace
5fc838dEdwin Brady
src/Idris/Elab/Implementation.hs+1−1
compare with master
unifiedsplit
@@ -102,7 +102,7 @@ elabImplementation info syn doc argDocs what fc cs parents acc opts n nfc ps pex
102
102
103 ist <- getIState
103 ist <- getIState
104 checkInjectiveArgs fc n (interface_determiners ci) (lookupTyExact iname (tt_ctxt ist))
104 checkInjectiveArgs fc n (interface_determiners ci) (lookupTyExact iname (tt_ctxt ist))
105−
105+
106 when (what /= ETypes && (not (null ds && not emptyinterface))) $ do
106 when (what /= ETypes && (not (null ds && not emptyinterface))) $ do
107 -- Add the parent implementation names to the privileged set
107 -- Add the parent implementation names to the privileged set
108 oldOpen <- addOpenImpl parents
108 oldOpen <- addOpenImpl parents