mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-05 22:38:44 +00:00
27 lines
1.1 KiB
Text
27 lines
1.1 KiB
Text
import Ostap;
|
|
import Fun;
|
|
import List;
|
|
|
|
var a = token ("a") @ lift(fun (a) {if a then "a" else "b" fi}),
|
|
eq = [token ("="), fun (l, _, r) {fun (a) {Eq (l (a), r (a))}}],
|
|
add = [token ("+"), fun (l, _, r) {fun (a) {Add (l (a), r (a))}}],
|
|
sub = [token ("-"), fun (l, _, r) {fun (a) {Sub (l (a), r (a))}}],
|
|
mul = [token ("*"), fun (l, _, r) {fun (a) {Mul (l (a), r (a))}}],
|
|
div = [token ("/"), fun (l, _, r) {fun (a) {Div (l (a), r (a))}}],
|
|
exp = expr ({[Nona, {eq}], [Right, {add, sub}], [Left, {mul, div}]}, a);
|
|
|
|
fun unpack (x, y) {
|
|
case x of
|
|
Fail (_) -> x
|
|
| Succ (z) -> Succ (z (y))
|
|
esac
|
|
}
|
|
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a=a"), true).string);
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a=a"), false).string);
|
|
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a*a=a*a"), true).string);
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a*a=a*a"), false).string);
|
|
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a*a+a/a-a*a=a*a-a"), true).string);
|
|
printf ("%s\n", unpack (parseString (exp |> bypass (eof), "a*a+a/a-a*a=a*a-a"), false).string)
|