mirror of
https://github.com/github/semantic.git
synced 2024-12-24 23:42:31 +03:00
Revert "Define a fixpoint over rank-n quantified mendler-style recursive functions."
This reverts commit 835506030b
.
This commit is contained in:
parent
835506030b
commit
790f4e3084
@ -1,4 +1,4 @@
|
||||
{-# LANGUAGE FlexibleContexts, LambdaCase, OverloadedStrings, RankNTypes, RecordWildCards, ScopedTypeVariables #-}
|
||||
{-# LANGUAGE FlexibleContexts, LambdaCase, OverloadedStrings, RankNTypes, RecordWildCards #-}
|
||||
module Analysis.Eval
|
||||
( eval
|
||||
, prog1
|
||||
@ -9,7 +9,6 @@ module Analysis.Eval
|
||||
, prog6
|
||||
, ruby
|
||||
, Analysis(..)
|
||||
, fix
|
||||
) where
|
||||
|
||||
import Control.Effect.Fail
|
||||
@ -27,13 +26,6 @@ import Data.Text (Text)
|
||||
import GHC.Stack
|
||||
import Prelude hiding (fail)
|
||||
|
||||
fix :: forall f a b
|
||||
. ((forall x . (x -> a) -> f x -> b) -> (forall x . (x -> a) -> f x -> b))
|
||||
-> (forall x . (x -> a) -> f x -> b)
|
||||
fix f = x
|
||||
where x :: (x -> a) -> f x -> b
|
||||
x = f x
|
||||
|
||||
eval :: ( Carrier sig m
|
||||
, Member (Reader Loc) sig
|
||||
, MonadFail m
|
||||
|
Loading…
Reference in New Issue
Block a user