From 641fa54ddc11b1a4fd0cfab1aaa791f4ddedd889 Mon Sep 17 00:00:00 2001 From: peb Date: Thu, 9 Mar 2006 11:32:52 +0000 Subject: inferred constants in profiles --- src/GF/Data/BacktrackM.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/GF/Data') diff --git a/src/GF/Data/BacktrackM.hs b/src/GF/Data/BacktrackM.hs index 58860d8f6..29bfe0e10 100644 --- a/src/GF/Data/BacktrackM.hs +++ b/src/GF/Data/BacktrackM.hs @@ -94,6 +94,7 @@ instance Monad Backtr where return a = B (\c f -> c a f) B m >>= k = B (\c f -> m (\a -> unBacktr (k a) c) f) where unBacktr (B m) = m + fail _ = failureB failureB = B (\c f -> f) B m |||| B n = B (\c f -> m c (n c f)) @@ -116,3 +117,4 @@ instance Monad (BacktrackM s) where return a = BM (\s -> return (s, a)) BM m >>= k = BM (\s -> do (s', a) <- m s ; unBM (k a) s') where unBM (BM m) = m + fail _ = failure -- cgit v1.2.3