undo - total hack!

Author: georgefst

primer-rel8/src/Primer/Database/Rel8/Orphans.hs

@@ -1,3 +1,5 @@
+{-# OPTIONS_GHC -Wno-missing-methods #-}
+{-# OPTIONS_GHC -Wno-unused-imports #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 -- This module exists so that we don't need a dependency on "Rel8" in
@@ -11,4 +13,5 @@ import Rel8 (
   JSONBEncoded (..),
  )
 
-deriving via JSONBEncoded App instance DBType App
+-- deriving via JSONBEncoded App instance DBType App
+instance DBType App

primer-service/src/Primer/Client.hs

@@ -1,3 +1,6 @@
+{-# OPTIONS_GHC -Wno-deprecations #-}
+{-# OPTIONS_GHC -Wno-unused-imports #-}
+
 -- | A Primer Servant API client.
 --
 -- This module exposes the full Primer API over HTTP.
@@ -74,7 +77,7 @@ defaultAPIPath = "/api"
 
 -- | A client for the full Primer API.
 apiClient :: API.RootAPI (AsClientT ClientM)
-apiClient = genericClient
+apiClient = undefined
 
 -- | As 'Primer.API.copySession'.
 copySession :: SessionId -> ClientM SessionId

primer-service/src/Primer/Server.hs

@@ -1,6 +1,9 @@
 {-# LANGUAGE DisambiguateRecordFields #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE OverloadedLabels #-}
+{-# OPTIONS_GHC -Wno-deprecations #-}
+{-# OPTIONS_GHC -Wno-redundant-constraints #-}
+{-# OPTIONS_GHC -Wno-unused-imports #-}
 
 -- | An HTTP service for the Primer API.
 module Primer.Server (
@@ -259,7 +262,7 @@ serve ss q v port logger = do
     noCache $
       cors (const $ Just apiCors) $
         metrics $
-          genericServeT nt server
+          undefined nt (server @l)
   where
     -- By default Warp will try to bind on either IPv4 or IPv6, whichever is
     -- available.

primer/test/Tests/Serialization.hs

@@ -68,7 +68,6 @@ import Primer.Typecheck (SmartHoles (SmartHoles))
 import System.FilePath (takeBaseName)
 import Test.Tasty hiding (after)
 import Test.Tasty.Golden
-import Test.Tasty.HUnit
 
 -- | Check that encoding the value produces the file.
 test_encode :: TestTree
@@ -82,18 +81,11 @@ test_encode =
     encodePretty :: ToJSON a => a -> BL.ByteString
     encodePretty = encodePretty' $ defConfig{confCompare = compare}
 
--- | Check that decoding the file produces the value.
-test_decode :: TestTree
-test_decode =
-  testGroup "decode" $
-    fixtures <&> \(Fixture x path) ->
-      testCase (takeBaseName path) $ either assertFailure (x @=?) =<< eitherDecodeFileStrict path
-
 -- | A fixture holds some value which is JSON serializable and path to a
 -- fixture file which should contain a JSON representation of that value.
-data Fixture = forall a. (Eq a, Show a, FromJSON a, ToJSON a) => Fixture a FilePath
+data Fixture = forall a. (Eq a, Show a, ToJSON a) => Fixture a FilePath
 
-mkFixture :: (Eq a, Show a, ToJSON a, FromJSON a) => String -> a -> Fixture
+mkFixture :: (Eq a, Show a, ToJSON a) => String -> a -> Fixture
 mkFixture name x = Fixture x ("test/outputs/serialization/" <> name <> ".json")
 
 -- | A list of fixtures we will test.
@@ -164,7 +156,7 @@ fixtures =
             , bodyID = id0
             , types = (TEmptyHole typeMeta, TEmptyHole typeMeta)
             }
-   in [ mkFixture "id" id0
+   in [ mkFixture "id" id0 -- TODO this does still have a FromJSON instance
       , mkFixture "name" (unsafeMkName "x")
       , mkFixture "movement" Child1
       , mkFixture "action" (SetCursor id0)
@@ -173,7 +165,7 @@ fixtures =
       , mkFixture "typecache" (TCSynthed $ TEmptyHole ())
       , mkFixture "typecacheboth" (TCBoth (TEmptyHole ()) (TEmptyHole ()))
       , mkFixture "expr" expr
-      , mkFixture "kind" KType
+      , mkFixture "kind" KType -- TODO this does still have a FromJSON instance
       , mkFixture "log" log
       , mkFixture "def" def
       , mkFixture "typeDef" typeDef