GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 18:32:07 +03:00
Code Issues Projects Releases Wiki Activity

Comment typo

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-15 17:43:46 -08:00
parent 520eeae661
commit 233cacaedf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/ModuleSystem/Renamer/Imports.hs
View File

@ -441,7 +441,7 @@ doInstantiateByName ::
Bool
{- ^ This indicates if the result is a functor or not. When instantiating
a functor applied to some arguments the result is not a functor. However,
if we are instantiating a functor nested withing some functor that's being
if we are instantiating a functor nested within some functor that's being
instantiated, then the result is still a functor. -} ->
ModPath {- ^ Path for instantiated names -} ->
ImpName Name {- ^ Name of the functor/module being instantiated -} ->