mirror of
https://github.com/github/semantic.git
synced 2024-12-26 08:25:19 +03:00
🔥 recordFrame.
This commit is contained in:
parent
624483b812
commit
53dda90d7f
@ -65,10 +65,6 @@ deriving instance ( forall a . Eq a => Eq (f a)
|
||||
deriving instance ( forall a . Show a => Show (f a)) => Show (Concrete f)
|
||||
|
||||
|
||||
-- recordFrame :: Concrete term -> Maybe Env
|
||||
-- recordFrame (Record frame) = Just frame
|
||||
-- recordFrame _ = Nothing
|
||||
|
||||
type Heap = IntMap.IntMap
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user