add missing unsnoc def - Githubissues

rodrigogribeiro / solcore

1 stars 2 forks source link

add missing unsnoc def #1

Closed mbenke closed 3 months ago

mbenke commented 3 months ago

Added missing definition of usnoc in Solcore.Desugarer.MatchCompiler.fifthCase to fix the following error:

src/Solcore/Desugarer/MatchCompiler.hs:196:12: error:
    Variable not in scope:
      unsnoc :: [[([Pat], [Stmt])]] -> Maybe ([Equations], Equations)
    |
196 |       case unsnoc eqnss of
    |            ^^^^^^

mbenke commented 3 months ago

Irrelevant if using base >= 4.19