Перекрывающиеся совпадения шаблонов

У меня есть следующий код:

test :: String -> Bool
test "g" = True
test "global" = True
test _ = False

Когда я загружаю его в GHCi (7.0.3), я получаю:

Warning: Pattern match(es) are overlapped
         In an equation for `test': test "g" = ...

Это ошибка или я что-то упустил?

Следующее держится:

test "" == False
test "g" == True
test "gl" == False
test "global" == True
test "globalx" == False

UPDATE:

Я использую {-# LANGUAGE OverloadedStrings #-}.

5
задан Thomas Eding 24 January 2012 в 20:35
поделиться