diff options
Diffstat (limited to '')
-rw-r--r-- | walint/WriteRepo.hs (renamed from lib/WriteRepo.hs) | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/WriteRepo.hs b/walint/WriteRepo.hs index af4d4d7..325b301 100644 --- a/lib/WriteRepo.hs +++ b/walint/WriteRepo.hs @@ -1,6 +1,5 @@ -{-# LANGUAGE DataKinds #-} -{-# LANGUAGE LambdaCase #-} -{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE LambdaCase #-} -- | Module for writing an already linted map Repository back out again. |