From 0238ef333a6321d276826f3bd651b1e2c60402a0 Mon Sep 17 00:00:00 2001 From: patritzenfeld Date: Fri, 11 Oct 2024 10:51:54 +0200 Subject: [PATCH] trim default config --- flex-task/src/FlexTask/DefaultConfig.hs | 3 --- tasks/proplogic.txt | 1 - 2 files changed, 4 deletions(-) diff --git a/flex-task/src/FlexTask/DefaultConfig.hs b/flex-task/src/FlexTask/DefaultConfig.hs index bdb20dd..8be2b62 100644 --- a/flex-task/src/FlexTask/DefaultConfig.hs +++ b/flex-task/src/FlexTask/DefaultConfig.hs @@ -178,8 +178,6 @@ module Check (checkSyntax, checkSemantics) where import Control.OutputCapable.Blocks -import Control.OutputCapable.Blocks.Generic.Type (GenericOutput) -import Data.Ratio import Global @@ -231,7 +229,6 @@ module Description (description) where import Control.OutputCapable.Blocks -import Control.OutputCapable.Blocks.Generic.Type (GenericOutput) import Data.String.Interpolate (i) import Global diff --git a/tasks/proplogic.txt b/tasks/proplogic.txt index 12e0b95..c87d93d 100644 --- a/tasks/proplogic.txt +++ b/tasks/proplogic.txt @@ -324,7 +324,6 @@ module Description (description) where import Control.OutputCapable.Blocks -import Global description :: OutputCapable m => FilePath -> ((String,[String]),a) -> LangM m