mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-11 04:02:52 -06:00
table size in synopsis
This commit is contained in:
@@ -127,7 +127,8 @@ mkCatTable isBeg rs =
|
||||
(if isBeg then ("|| Category | Explanation | Example ||" :) else id)
|
||||
(map mk1 rs)
|
||||
where
|
||||
mk1 (name,typ,ex) = unwords ["|", ttf name, "|", typ, "|", ex, "|"]
|
||||
mk1 (name,typ,ex) = unwords ["|", ttf name, "|", typ, "|", typo ex, "|"]
|
||||
typo ex = if take 1 ex == "\"" then itf (init (tail ex)) else ex
|
||||
|
||||
synopsis = "synopsis.txt"
|
||||
commonAPI = "../abstract/Common.gf"
|
||||
|
||||
Reference in New Issue
Block a user