diff --git a/.github/workflows/Stack-lts.yml b/.github/workflows/Stack-lts.yml index ddd0bd1..6cbacdc 100644 --- a/.github/workflows/Stack-lts.yml +++ b/.github/workflows/Stack-lts.yml @@ -11,7 +11,7 @@ jobs: matrix: runner: - ubuntu-latest - - macOS-latest +# - macOS-latest - windows-latest resolver: diff --git a/.github/workflows/Stack-nightly.yml b/.github/workflows/Stack-nightly.yml index e02e7f6..ff8baa0 100644 --- a/.github/workflows/Stack-nightly.yml +++ b/.github/workflows/Stack-nightly.yml @@ -11,7 +11,7 @@ jobs: matrix: runner: - ubuntu-latest - - macOS-latest +# - macOS-latest - windows-latest fail-fast: false diff --git a/src/Math/Algebra/Hspray.hs b/src/Math/Algebra/Hspray.hs index af14094..bbc0f97 100644 --- a/src/Math/Algebra/Hspray.hs +++ b/src/Math/Algebra/Hspray.hs @@ -1213,7 +1213,7 @@ infixr 7 /^ (/^) spray lambda = spray /> lambda infixl 6 +> --- | Add a constant to a spray +-- | Add a spray to a constant -- -- prop> x +> spray == constantSpray x ^+^ spray (+>) :: (AlgAdd.C a, Eq a) => a -> Spray a -> Spray a