suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix misleading comment.

Browse Source
This commit is contained in:
Adam Sampson 2011-07-20 11:04:00 +00:00
parent 476906f5be
commit 19b432796b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/OccamInferTypes.hs
View File

@ -453,7 +453,7 @@ inferTypes = occamOnlyPass "Infer types"
wrap (recurse body) >>* A.Spec mspec (A.Specification m n st')
doStructured s = descend s
-- The second parameter is a modifier (wrapper) for the descent into the body
-- The second result is a modifier (wrapper) for the descent into the body
doSpecType :: ( AlloyA (A.Structured t) InferTypeOps BaseOpM
, AlloyA (A.Structured t) BaseOpM InferTypeOps
, Data t) => A.Name -> A.SpecType -> ReaderT (A.Structured t) InferTypeM