diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-30 12:53:36 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-30 12:53:36 +0000 |
| commit | 042243f08a321cd8ed5918ba94e83f22a8552adb (patch) | |
| tree | e7c1e17cebe2d7d674f8df54ffda14a829e0ff21 /src/compiler/SimpleEditor/Convert.hs | |
| parent | 122c40bb3b4cc4ca077f00ab3b484ae9066fd2be (diff) | |
added the linref construction in GF. The PGF version number is now bumped
Diffstat (limited to 'src/compiler/SimpleEditor/Convert.hs')
| -rw-r--r-- | src/compiler/SimpleEditor/Convert.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/SimpleEditor/Convert.hs b/src/compiler/SimpleEditor/Convert.hs index 1f0eacde0..b2f66f17b 100644 --- a/src/compiler/SimpleEditor/Convert.hs +++ b/src/compiler/SimpleEditor/Convert.hs @@ -121,7 +121,7 @@ convCncJment (name,jment) = ResParam ops _ -> return $ Pa $ Param i (maybe "" (render . ppParams q . unLoc) ops) ResValue _ -> return Ignored - CncCat (Just (L _ typ)) Nothing pprn _ -> -- ignores printname !! + CncCat (Just (L _ typ)) Nothing Nothing pprn _ -> -- ignores printname !! return $ LC $ Lincat i (render $ ppTerm q 0 typ) ResOper oltyp (Just lterm) -> return $ Op $ Oper lhs rhs where @@ -153,7 +153,7 @@ jmentLocation jment = AbsCat ctxt -> fmap loc ctxt AbsFun ty _ _ _ -> fmap loc ty ResParam ops _ -> fmap loc ops - CncCat ty _ _ _ -> fmap loc ty + CncCat ty _ _ _ _ ->fmap loc ty ResOper ty rhs -> fmap loc rhs `mplus` fmap loc ty CncFun _ rhs _ _ -> fmap loc rhs _ -> Nothing |