From 5bfaf10de597af504e6d2784309e533b09a6451c Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 28 Aug 2015 13:59:43 +0000 Subject: Comment out some dead code found with -fwarn-unused-binds Also fixed some warnings and tightened some imports --- src/runtime/haskell/PGF/Probabilistic.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/runtime/haskell/PGF/Probabilistic.hs') diff --git a/src/runtime/haskell/PGF/Probabilistic.hs b/src/runtime/haskell/PGF/Probabilistic.hs index 555ae0ce9..780e1c12f 100644 --- a/src/runtime/haskell/PGF/Probabilistic.hs +++ b/src/runtime/haskell/PGF/Probabilistic.hs @@ -210,7 +210,7 @@ mkProbDefs pgf = then closure k deps2 vs2 vs3 else closure k deps2 ((src,dst') : vs2) vs3 else closure k (dep2 : deps2) vs2 vs3 - +{- mkNewSig src = DTyp (mkArgs 0 0 [] src) cidFloat [] where @@ -219,7 +219,7 @@ mkProbDefs pgf = | i == k = let ty = DTyp [] c (map (normalForm sig k env) es) in (Explicit,wildCId,ty) : mkArgs (k+1) (l+1) (VGen l [] : env) src | otherwise = mkArgs (k+1) l (VMeta 0 env [] : env) src - +-} type CState = (Int,Map.Map CId [Equation]) computeConstrs :: PGF -> CState -> [(CId,[Patt],[Expr])] -> (CState,[[CId]]) @@ -263,7 +263,7 @@ computeConstrs pgf st fns = where addArgs (cn,fns) = addArg (length args) cn [] fns where - Just (ty@(DTyp args _ es),_,_,_) = Map.lookup cn (funs (abstract pgf)) + Just (DTyp args _ _es,_,_,_) = Map.lookup cn (funs (abstract pgf)) addArg 0 cn ps fns = [(PApp cn (reverse ps),fns)] addArg n cn ps fns = concat [addArg (n-1) cn (arg:ps) fns' | (arg,fns') <- computeConstr fns] -- cgit v1.2.3