mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Just a comment
This commit is contained in:
parent
e774861966
commit
c9d9f2c676
@ -948,6 +948,8 @@ mkTopMods mo =
|
||||
|
||||
_ -> [mo]
|
||||
|
||||
-- XXX: This is wrong.
|
||||
-- The signautre should go outside of the functor that uses it.
|
||||
mkModBody :: [TopDecl PName] -> [TopDecl PName]
|
||||
mkModBody = collect 1 [] []
|
||||
where
|
||||
|
Loading…
Reference in New Issue
Block a user