diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 16:23:48 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-14 22:40:09 -0400 |
| commit | df04d6ec6a543d8bf1b953cf27c26e63ec6aab25 (patch) | |
| tree | e3a3e88e10b4da7e57e73755147dd7928710ff17 /compiler/GHC/Types/Literal.hs | |
| parent | bdd61cd63dff07a78b1364988b5a140806f79e38 (diff) | |
| download | haskell-df04d6ec6a543d8bf1b953cf27c26e63ec6aab25.tar.gz | |
Fix typos
Diffstat (limited to 'compiler/GHC/Types/Literal.hs')
| -rw-r--r-- | compiler/GHC/Types/Literal.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Types/Literal.hs b/compiler/GHC/Types/Literal.hs index fffb819a39..199d744034 100644 --- a/compiler/GHC/Types/Literal.hs +++ b/compiler/GHC/Types/Literal.hs @@ -1013,7 +1013,7 @@ Wrinkles a) Why do we put the `Type` (of kind RuntimeRep) inside the literal? Could we not instead /apply/ the literal to that RuntimeRep? Alas no, because then LitRubbish :: forall (rr::RuntimeRep) (a::TYPE rr). a - and that's am ill-formed type because its kind is `TYPE rr`, which escapes + and that's an ill-formed type because its kind is `TYPE rr`, which escapes the binding site of `rr`. Annoying. b) A rubbish literal is not bottom, and replies True to exprOkForSpeculation. @@ -1045,7 +1045,7 @@ undefined behavior, of course, but let us list a few examples for failure modes: a) For an value of unboxed numeric type like `Int#`, we just use a silly value like 42#. The error might propagate indefinitely, hence we better pick a rather unique literal. Same for Word, Floats, Char and VecRep. - b) For AddrRep (like String lits), we mit a null pointer, resulting in a + b) For AddrRep (like String lits), we emit a null pointer, resulting in a definitive segfault when accessed. c) For boxed values, unlifted or not, we use a pointer to a fixed closure, like `()`, so that the GC has a pointer to follow. |