packages feed

language-lustre-1.0.0: Language/Lustre/Panic.hs

{-# Language TemplateHaskell #-}
module Language.Lustre.Panic (panic) where

import Panic hiding (panic)
import qualified Panic

data Lustre = Lustre

instance PanicComponent Lustre where
  panicComponentName _     = "Lustre"
  panicComponentIssues _   = "https://github.com/GaloisInc/lustre"
  panicComponentRevision   = $useGitRevision

panic :: HasCallStack => String -> [String] -> a
panic = Panic.panic Lustre