From 56878ad193071539a1fd83298c4509fe21b880fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Fri, 29 Nov 2024 20:52:20 +0100 Subject: Special "builtin" value for SourceLine --- src/Test.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/Test.hs') diff --git a/src/Test.hs b/src/Test.hs index 836489c..d0f1e45 100644 --- a/src/Test.hs +++ b/src/Test.hs @@ -3,7 +3,7 @@ module Test ( Test(..), TestStep(..), TestBlock(..), - SourceLine(..), + SourceLine(..), textSourceLine, MonadEval(..), VarName(..), TypedVarName(..), textVarName, unpackVarName, @@ -79,7 +79,13 @@ data TestStep | PacketLoss Scientific Node TestBlock | Wait -newtype SourceLine = SourceLine Text +data SourceLine + = SourceLine Text + | SourceLineBuiltin + +textSourceLine :: SourceLine -> Text +textSourceLine (SourceLine text) = text +textSourceLine SourceLineBuiltin = "" class MonadFail m => MonadEval m where -- cgit v1.2.3