From 90e356c77cf981a61b2d432069aac0cb711f773a Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 21:40:13 -0600 Subject: [PATCH] Try to get cabal weirdness not to be weird --- .github/workflows/prototyping.yml | 2 +- prototyping/FFI/Data/Scientific.agda | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 83cdd1d9..9ccb6bc6 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -26,9 +26,9 @@ jobs: - name: cabal install working-directory: prototyping run: | - cabal install --lib aeson cabal install --lib scientific cabal install --lib vector + cabal install --lib aeson cabal install Agda - name: check examples working-directory: prototyping diff --git a/prototyping/FFI/Data/Scientific.agda b/prototyping/FFI/Data/Scientific.agda index 8a5be39e..f43bc8e9 100644 --- a/prototyping/FFI/Data/Scientific.agda +++ b/prototyping/FFI/Data/Scientific.agda @@ -1,5 +1,6 @@ module FFI.Data.Scientific where + {-# FOREIGN GHC import qualified Data.Scientific #-} postulate Scientific : Set