From bc9e5b0ea863a17537987faa5a72b00efc7767d1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 18 Jul 2022 22:09:58 -0400
Subject: Upgrade nixpkgs, ghc923

I ended up deleting miso, and consequently all files under Hero/ and Miso/,
because I couldn't get miso to build with GHC 9.2.

Other things:

- Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking.
- Apply-refact is gone because I couldn't get it to build.
- Disabled python stuff.
---
 Miso/FFI/Fullscreen.hs | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 Miso/FFI/Fullscreen.hs

(limited to 'Miso/FFI/Fullscreen.hs')

diff --git a/Miso/FFI/Fullscreen.hs b/Miso/FFI/Fullscreen.hs
deleted file mode 100644
index 4e70da6..0000000
--- a/Miso/FFI/Fullscreen.hs
+++ /dev/null
@@ -1,29 +0,0 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-
-module Miso.FFI.Fullscreen where
-
-import GHCJS.Types
-import Protolude
-
--- | Requests that the user agent switch from full-screen mode back to windowed
--- mode. Returns a Promise which is resolved once full-screen mode has been
--- completely shut off.
---
--- https://developer.mozilla.org/en-US/docs/Web/API/Document/exitFullscreen
-foreign import javascript unsafe "$r = document.exitFullscreen();"
-  exitFullscreen :: IO JSVal
-
-exit :: IO JSVal
-exit = exitFullscreen
-
--- | Asks the user agent to place the specified element (and, by extension, its
--- descendants) into full-screen mode, removing all of the browser's UI elements
--- as well as all other applications from the screen. Returns a Promise which is
--- resolved once full-screen mode has been activated.
---
--- https://developer.mozilla.org/en-US/docs/Web/API/Element/requestFullscreen
-foreign import javascript unsafe "$r = $1.requestFullscreen();"
-  requestFullscreen :: JSVal -> IO JSVal
-
-request :: JSVal -> IO JSVal
-request = requestFullscreen
-- 
cgit v1.2.3