mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-19 08:02:51 -06:00
bug fix in Predef.toStr compilation
This commit is contained in:
@@ -138,6 +138,7 @@ trm2str t = case t of
|
|||||||
V _ (s:_) -> trm2str s
|
V _ (s:_) -> trm2str s
|
||||||
C _ _ -> return $ t
|
C _ _ -> return $ t
|
||||||
K _ -> return $ t
|
K _ -> return $ t
|
||||||
|
S c _ -> trm2str c
|
||||||
Empty -> return $ t
|
Empty -> return $ t
|
||||||
_ -> prtBad "cannot get Str from term" t
|
_ -> prtBad "cannot get Str from term" t
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user