mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
error msg for term input
This commit is contained in:
@@ -293,8 +293,10 @@ opST2CommandArg f = err AError ATrms . f . prCommandArg
|
||||
|
||||
opTS2CommandArg :: (Tree -> String) -> CommandArg -> CommandArg
|
||||
opTS2CommandArg f (ATrms ts) = AString $ unlines $ map f ts
|
||||
opTS2CommandArg _ _ = AError ("expected term")
|
||||
opTS2CommandArg _ (AError s) = AError ("expected term, but got error:" ++++ s)
|
||||
opTS2CommandArg _ a = AError ("expected term, but got:" ++++ prCommandArg a)
|
||||
|
||||
opTT2CommandArg :: (Tree -> [Tree]) -> CommandArg -> CommandArg
|
||||
opTT2CommandArg f (ATrms ts) = ATrms $ concat $ map f ts
|
||||
opTT2CommandArg _ _ = AError ("expected term")
|
||||
opTT2CommandArg _ (AError s) = AError ("expected term, but got error:" ++++ s)
|
||||
opTT2CommandArg _ a = AError ("expected term, but got:" ++++ prCommandArg a)
|
||||
|
||||
@@ -1 +1 @@
|
||||
module Today where today = "Thu Apr 1 11:42:56 CEST 2004"
|
||||
module Today where today = "Tue Apr 13 13:53:49 CEST 2004"
|
||||
|
||||
Reference in New Issue
Block a user