summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authoraarne <unknown>2005-11-01 08:20:09 +0000
committeraarne <unknown>2005-11-01 08:20:09 +0000
commit27c65e985d1a0c23978239bd52342c766964b98b (patch)
tree66071f0b6ab585bf9941ff9fd819c684b838c1e8 /src
parenta48236172fc24f32792d56675b0ef682d6119348 (diff)
doc of prob
Diffstat (limited to 'src')
-rw-r--r--src/GF/Probabilistic/Probabilistic.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Probabilistic/Probabilistic.hs b/src/GF/Probabilistic/Probabilistic.hs
index 1126776c8..5b5c6b2af 100644
--- a/src/GF/Probabilistic/Probabilistic.hs
+++ b/src/GF/Probabilistic/Probabilistic.hs
@@ -5,9 +5,9 @@
-- Stability : (stable)
-- Portability : (portable)
--
--- > CVS $Date: 2005/11/01 09:10:54 $
+-- > CVS $Date: 2005/11/01 09:20:09 $
-- > CVS $Author: aarne $
--- > CVS $Revision: 1.4 $
+-- > CVS $Revision: 1.5 $
--
-- Probabilistic abstract syntax. AR 30\/10\/2005
--
@@ -83,7 +83,7 @@ pProb s = case words s of
"--#":"prob":f:p:_ | isDouble p -> [(zIdent f, read p)]
f:ps@(g:rest) -> case span (/= "--#") ps of
(_,_:"prob":p:_) | isDouble p -> [(zIdent f', readD p)] where
- f' = if f=="fun" then ident g else ident f
+ f' = if elem f ["fun","lin","data"] then ident g else ident f
_ -> []
_ -> []
where