Merge pull request #376 from kquick/haddock_fix_kwq1

Haddocks are invalid for type tuple-field specifications.
GaloisInc · Aug 12, 2024 · 7dd6d30 · 7dd6d30
2 parents 14b8469 + 1dde0c9
commit 7dd6d30
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/daedalus-vm/src/Daedalus/VM/Backend/C/Names.hs b/daedalus-vm/src/Daedalus/VM/Backend/C/Names.hs
@@ -25,11 +25,11 @@ nsDDL = "DDL"
 type NSUser = ( ?nsUser :: Doc
 
               , ?nsInputType :: Doc
-                -- ^ Use this type to represent input streams
+                -- Use this type to represent input streams
 
 
               , ?nsExternal :: Map Src.MName Doc
-                -- extrenal modules with corresponding namespace
+                -- external modules with corresponding namespace
               )
 
 -- | The namespace where we should put user definde type that are not external

diff --git a/daedalus-vm/src/Daedalus/VM/InsertCopy.hs b/daedalus-vm/src/Daedalus/VM/InsertCopy.hs
@@ -346,7 +346,7 @@ insertFree ro (copies,b) = b { blockInstrs = newIs, blockTerm = newTerm }
              -- OK if we stop after the first one.
              --
              -- If we have pass an owned thing as a borrowed argument, and
-             -- *none* of the continuations own it, we transform one of the
+             --  *none* of the continuations own it, we transform one of the
              -- continutations so that it will free that parameter.
              CallCapture f l1 l2 es
                 | not (null cs) -> (CallCapture f l' l2 es,[newB])