mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-27 11:48:55 -06:00
mp3 example
This commit is contained in:
@@ -634,10 +634,10 @@ s ; s2 = [] ; isAux = False} ;
|
||||
(try.s ! InfImp ++ try.s1) ; -- ... try
|
||||
in
|
||||
{s = \\b,v => if_then_Str b
|
||||
(try.s ! v ++ try.s1 ++ to ++ run.s ! True ! InfImp)
|
||||
(try.s ! v ++ try.s1)
|
||||
(dont ! v) ;
|
||||
s2 = \\b,v => if_then_Str b
|
||||
(run.s2 ! True ! v)
|
||||
(to ++ run.s ! True ! InfImp ++ run.s2 ! True ! v)
|
||||
(trnot ++ run.s ! True ! InfImp ++ run.s2 ! True ! v) ;
|
||||
isAuxT = taux ;
|
||||
isAuxF = True
|
||||
|
||||
Reference in New Issue
Block a user