Restyled Get rid of oeis2 and polysemy-plugin dependencies to allow compiling with WASM

src/Disco/Interactive/Commands.hs

@@ -479,9 +479,9 @@ handleDocPrim prim = do
             _ -> []
         )
           ++ ( case prim of
-                 PrimUOp u -> [describePrec (uPrec u)]
-                 PrimBOp b -> [describePrec (bPrec b) <> describeFixity (assoc b)]
-                 _ -> []
+                PrimUOp u -> [describePrec (uPrec u)]
+                PrimBOp b -> [describePrec (bPrec b) <> describeFixity (assoc b)]
+                _ -> []
              )
   case attrs of
     [] -> pure ()

src/Disco/Parser.hs

@@ -902,8 +902,8 @@ parseLet =
   TLet
     <$> ( reserved "let"
             *> ( bind
-                   <$> (toTelescope <$> (parseBinding `sepBy` comma))
-                   <*> (reserved "in" *> parseTerm)
+                  <$> (toTelescope <$> (parseBinding `sepBy` comma))
+                  <*> (reserved "in" *> parseTerm)
                )
         )
 

src/Disco/Typecheck/Solve.hs

@@ -658,9 +658,9 @@ simplify origVM cs =
   simplifyOne' (TyCon c1@(CContainer ctr1) tys1 :<: TyCon (CContainer ctr2) tys2) =
     ssConstraints
       %= ( ( (TyAtom ctr1 :<: TyAtom ctr2)
-               : zipWith3 variance (arity c1) tys1 tys2
+              : zipWith3 variance (arity c1) tys1 tys2
            )
-             ++
+            ++
          )
   simplifyOne' (TyCon c1 tys1 :<: TyCon c2 tys2)
     | c1 /= c2 = throw NoUnify