now using GHC2024
This commit is contained in:
parent
593da2abb5
commit
ae2f4d7552
@ -53,7 +53,7 @@ extra-doc-files: CHANGELOG.md
|
|||||||
|
|
||||||
common commonSettings
|
common commonSettings
|
||||||
-- Base language which the package is written in.
|
-- Base language which the package is written in.
|
||||||
default-language: Haskell2010
|
default-language: GHC2024
|
||||||
default-extensions:
|
default-extensions:
|
||||||
OverloadedStrings
|
OverloadedStrings
|
||||||
|
|
||||||
|
|||||||
@ -6,6 +6,7 @@
|
|||||||
{-# LANGUAGE ImportQualifiedPost #-}
|
{-# LANGUAGE ImportQualifiedPost #-}
|
||||||
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
|
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
|
||||||
{-# LANGUAGE InstanceSigs #-}
|
{-# LANGUAGE InstanceSigs #-}
|
||||||
|
{-# LANGUAGE DatatypeContexts #-}
|
||||||
|
|
||||||
module Datalog.NaiveQE where
|
module Datalog.NaiveQE where
|
||||||
import Datalog.QueryEngine
|
import Datalog.QueryEngine
|
||||||
|
|||||||
@ -2,6 +2,7 @@
|
|||||||
{-# LANGUAGE ImportQualifiedPost #-}
|
{-# LANGUAGE ImportQualifiedPost #-}
|
||||||
{-# LANGUAGE ScopedTypeVariables #-}
|
{-# LANGUAGE ScopedTypeVariables #-}
|
||||||
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
|
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
|
||||||
|
{-# LANGUAGE DatatypeContexts #-}
|
||||||
|
|
||||||
module Datalog.Rules where
|
module Datalog.Rules where
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user