diff options
Diffstat (limited to 'testsuite/tests/linear/should_compile/Linear1Rule.hs')
| -rw-r--r-- | testsuite/tests/linear/should_compile/Linear1Rule.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/linear/should_compile/Linear1Rule.hs b/testsuite/tests/linear/should_compile/Linear1Rule.hs index 0553c61e84..4a1984c3a0 100644 --- a/testsuite/tests/linear/should_compile/Linear1Rule.hs +++ b/testsuite/tests/linear/should_compile/Linear1Rule.hs @@ -2,8 +2,8 @@ module Linear1Rule where -- Test the 1 <= p rule -f :: a #-> b +f :: a %1 -> b f = f -g :: a # p -> b +g :: a %p -> b g x = f x |