hic-0.0.0.1: test/Language/Cimple/Hic/Inference/ScopedSpec.hs

{-# LANGUAGE OverloadedStrings #-}
module Language.Cimple.Hic.Inference.ScopedSpec (spec) where

import           Language.Cimple.Hic.InferenceSpec (checkInference)
import           Test.Hspec                        (Spec, describe)

spec :: Spec
spec = describe "Scoped inference" $ do
    checkInference
        [ "void f(int something_wrong) {"
        , "    Tox *tox = tox_new(nullptr, nullptr);"
        , "    if (!tox) return;"
        , "    if (something_wrong) {"
        , "        goto CLEANUP;"
        , "    }"
        , "    process(tox);"
        , "CLEANUP:"
        , "    tox_kill(tox);"
        , "}"
        ]
        [ "void f(int something_wrong) {"
        , "  scoped (Tox* tox = tox_new(nullptr, nullptr)) {"
        , "    if (!tox) return;"
        , "    if (something_wrong) {"
        , "      goto CLEANUP;"
        , "    }"
        , "    process(tox);"
        , "  CLEANUP: tox_kill(tox);"
        , "  }"
        , "}"
        ]