mirror of
https://github.com/github/semantic.git
synced 2025-01-04 13:34:31 +03:00
Slightly increase laziness.
This commit is contained in:
parent
8ca986756a
commit
8a4b590511
@ -49,7 +49,7 @@ type Cont symbol a = Source -> State symbol -> [IntSet] -> Either (Error (Either
|
||||
|
||||
combine :: Nullable symbol a -> IntSet -> IntSet -> IntSet
|
||||
combine (Nullable _) s1 s2 = s1 <> s2
|
||||
combine NotNullable s1 _ = s1
|
||||
combine _ s1 _ = s1
|
||||
|
||||
choose :: Enum symbol
|
||||
=> Nullable symbol a
|
||||
@ -147,7 +147,7 @@ instance Alternative (Nullable symbol) where
|
||||
empty = NotNullable
|
||||
|
||||
Nullable a <|> _ = Nullable a
|
||||
NotNullable <|> b = b
|
||||
_ <|> b = b
|
||||
|
||||
|
||||
data State symbol = State
|
||||
|
Loading…
Reference in New Issue
Block a user