diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2019-11-08 16:21:03 -0500 |
|---|---|---|
| committer | Brian Wignall <brianwignall@gmail.com> | 2019-11-23 19:04:52 -0500 |
| commit | 7b4c7b75be351e9b6a40093cbccab728dd89064f (patch) | |
| tree | 01126ac3823a1f1b197ac1865d7bc628eb4676a5 /testsuite/tests/pmcheck | |
| parent | c14b723f7fa24b4db0b561f9ab0d6e0f4261fd2f (diff) | |
| download | haskell-7b4c7b75be351e9b6a40093cbccab728dd89064f.tar.gz | |
Fix typos
Diffstat (limited to 'testsuite/tests/pmcheck')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/CyclicSubst.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs index 9fe0effe2c..ad351db13a 100644 --- a/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs +++ b/testsuite/tests/pmcheck/should_compile/CyclicSubst.hs @@ -7,7 +7,7 @@ module CyclicSubst where -- | The match is translated to @b | a <- b@, the initial unification variable -- is @a@ (for some reason). VarVar will assign @b :-> a@ in the match of @a@ --- against @b@ (vars occuring in a pattern are flexible). The @PmGrd a b@ is +-- against @b@ (vars occurring in a pattern are flexible). The @PmGrd a b@ is -- desugared as a match of @$pm_x@ against @a@, where @$pm_x :-> b@, which is -- stored as @$pm_x :-> a@ due to the previous solution. Now, VarVar will -- assign @a :-> $pm_x@, causing a cycle. |