summaryrefslogtreecommitdiff
path: root/src/GF/CF/Profile.hs
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-17 15:17:53 +0000
committeraarne <unknown>2003-11-17 15:17:53 +0000
commit70c9f7b365b07044c07837a04223a11dfa3b7140 (patch)
treeb39c484dd86d6226f716f241da0b4a85a630a6a0 /src/GF/CF/Profile.hs
parent9d55f72d7a97658faa6ebc890535fa0c6e665a05 (diff)
Lexer by need.
Diffstat (limited to 'src/GF/CF/Profile.hs')
-rw-r--r--src/GF/CF/Profile.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/CF/Profile.hs b/src/GF/CF/Profile.hs
index 6dbb5f85a..1b821d53a 100644
--- a/src/GF/CF/Profile.hs
+++ b/src/GF/CF/Profile.hs
@@ -33,6 +33,7 @@ type BindVs = [[I.Ident]]
-- (2) term2trm: restore Bindings from Binds
tree2term :: CFTree -> Err ITerm
+-- tree2term (CFTree (f,(_,[t]))) | f == dummyCFFun = tree2term t -- not used
tree2term (CFTree (cff@(CFFun (fun,pro)), (_,trees))) = case fun of
AM _ -> return IMeta
_ -> do