Commit 65920c9e authored by Gabor Greif's avatar Gabor Greif 💬

Some more typos in comments

parent baed2f5a
......@@ -425,11 +425,11 @@ tcCheckSatisfiability :: Bag EvVar -> TcM Bool
tcCheckSatisfiability givens
= do { lcl_env <- TcM.getLclEnv
; let given_loc = mkGivenLoc topTcLevel UnkSkol lcl_env
; traceTc "checkSatisfiabilty {" (ppr givens)
; traceTc "checkSatisfiability {" (ppr givens)
; (res, _ev_binds) <- runTcS $
do { cts <- solveSimpleGivens given_loc (bagToList givens)
; return (not (isEmptyBag cts)) }
; traceTc "checkSatisfiabilty }" (ppr res)
; traceTc "checkSatisfiability }" (ppr res)
; return (not res) }
{-
......
......@@ -859,7 +859,7 @@ yieldCapability (Capability** pCap, Task *task, rtsBool gcAllowed)
//
// - A bound thread can only be migrated by the holder of the
// Capability on which the bound thread currently lives. So, if we
// hold Capabilty C, and task->cap == C, then task cannot be
// hold Capability C, and task->cap == C, then task cannot be
// migrated under our feet.
// Note [migrated bound threads 2]
......
......@@ -508,7 +508,7 @@
data Board
= Board (Array BoardPos BoardSquare)
MoveNumber -- current player & and move
(Maybe ChessFile) -- e.p. possibilties.
(Maybe ChessFile) -- e.p. possibilities.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment