packages feed

tilia-0.1.1.0: corpora/vendored/declaration/value/quasi-quotation-written-across-lines-out.hs

{-# LANGUAGE QuasiQuotes #-}

exceptions :: [String] -> String
exceptions es = [i|
    Encountered one or more exceptions.
  |] <> concat es

unexpected :: Int -> Maybe String
unexpected sp = Just (render sp [i|
    Something went wrong.
  |] Nothing)

checked :: IO ()
checked = withMessage [i|
    Checking.
  |] $ do
  check
  report

check :: Int
check = 1
{-# ANN check (Prim [Verilog, VHDL] [i|
  BlackBox:
    name: check
  |]) #-}