sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase56.hs

{-# LANGUAGE QuasiQuotes     #-}
{-# LANGUAGE OverloadedLists #-}

{-# OPTIONS_GHC -Wall -Werror -ddump-splices #-}

-- Test: sCase with List (no guards)
module T where

import Prelude hiding (null, head, tail)
import Data.SBV

t :: SList Integer -> SInteger
t xs = [sCase| xs of
                []     -> 0
                y : ys -> y + t ys
       |]