diff options
Diffstat (limited to 'src/runtime/haskell/PGF/Probabilistic.hs')
| -rw-r--r-- | src/runtime/haskell/PGF/Probabilistic.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/runtime/haskell/PGF/Probabilistic.hs b/src/runtime/haskell/PGF/Probabilistic.hs index 780e1c12f..37db7f7ff 100644 --- a/src/runtime/haskell/PGF/Probabilistic.hs +++ b/src/runtime/haskell/PGF/Probabilistic.hs @@ -109,11 +109,11 @@ mkProbDefs :: PGF -> ([[CId]],[(CId,Type,[Equation])]) mkProbDefs pgf = let cs = [(c,hyps,fns) | (c,(hyps0,fs,_)) <- Map.toList (cats (abstract pgf)), not (elem c [cidString,cidInt,cidFloat]), - let hyps = zipWith (\(bt,_,ty) n -> (bt,mkCId ('v':show n),ty)) - hyps0 - [1..] - fns = [(f,ty) | (_,f) <- fs, - let Just (ty,_,_,_) = Map.lookup f (funs (abstract pgf))] + let hyps = zipWith (\(bt,_,ty) n -> (bt,mkCId ('v':show n),ty)) + hyps0 + [1..] + fns = [(f,ty) | (_,f) <- fs, + let Just (ty,_,_,_) = Map.lookup f (funs (abstract pgf))] ] ((_,css),eqss) = mapAccumL (\(ngen,css) (c,hyps,fns) -> let st0 = (1,Map.empty) |