File tree Expand file tree Collapse file tree
plutus-core/untyped-plutus-core/src/UntypedPlutusCore Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11{-# LANGUAGE LambdaCase #-}
22{-# LANGUAGE RankNTypes #-}
3- {-# LANGUAGE TupleSections #-}
43
54module UntypedPlutusCore.Contexts where
65
@@ -58,14 +57,3 @@ saturates (AppCtxType {}) (TermParam : _) = Nothing
5857-- Arguments left - undersaturated
5958saturates (AppCtxTerm {}) [] = Just Oversaturated
6059saturates (AppCtxType {}) [] = Just Oversaturated
61-
62- {- Note [Ctx splitting in a recursive pass]
63- When writing a recursive pass that processes the whole program, you must be
64- a bit cautious when using a Ctx split. The context split may traverse
65- part of the program, which will _also_ be traversed by the main recursive
66- traversal. This can lead to quadratic runtime.
67-
68- This is usually okay for something like 'splitApplication', since it is
69- quadratic in the longest application in the program, which is usually not
70- significantly long.
71- -}
You can’t perform that action at this time.
0 commit comments