GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

Better error location

Browse Source
This commit is contained in:
Iavor Diatchki 2022-06-09 13:54:54 -07:00
parent 4c5c13c1b1
commit ff7117462b
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Cryptol/Parser/ParserUtils.hs
View File

@ -977,9 +977,13 @@ desugarMod mo =
-- XXX: we should check that `lds` does not have parameter declarations
FunctorInstance f as _ | DefaultInstAnonArg lds <- as ->
do (ms,lds') <- desugarTopDs (mName mo) lds
unless (null ms)
$ errorMessage (srcRange (mName mo))
[ "Module argument may not be a functor" ]
case ms of
m : _ | InterfaceModule si <- mDef m
, l : _ <- map (srcRange . ptName) (sigTypeParams si) ++
map (srcRange . pfName) (sigFunParams si) ->
errorMessage l
[ "Module argument may not be a functor" ]
_ -> pure ()
let i = mkAnon AnonArg (thing (mName mo))
nm = Located { srcRange = srcRange (mName mo), thing = i }
as' = DefaultInstArg (toImpName <$> nm)