Home
last modified time | relevance | path

Searched refs:moduleNameMismatch (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DMonad.hs250 moduleNameMismatch :: P.ModName -> Located P.ModName -> ModuleM a
251 moduleNameMismatch expected found = function
H A DBase.hs415 (moduleNameMismatch nm (mName m))