1
0
forked from GitHub/gf-rgl

regenerated synopsis with more far-reaching partial evaluation to complete some of the examples (also recent RGL fixes included)

This commit is contained in:
aarne
2016-03-01 12:59:38 +00:00
parent 99b379de52
commit d8d8321dea
2 changed files with 220 additions and 208 deletions

View File

@@ -94,8 +94,10 @@ mkEx l = unws . bind . mkE . words where
bind ws = case ws of bind ws = case ws of
w : "&+" : u : ws2 -> bind ((w ++ u) : ws2) w : "&+" : u : ws2 -> bind ((w ++ u) : ws2)
w : "Predef.BIND" : u : ws2 -> bind ((w ++ u) : ws2) w : "Predef.BIND" : u : ws2 -> bind ((w ++ u) : ws2)
w : "Predef.SOFT_BIND" : u : ws2 -> bind ((w ++ u) : ws2)
"&+":ws2 -> bind ws2 "&+":ws2 -> bind ws2
"Predef.BIND":ws2 -> bind ws2 "Predef.BIND":ws2 -> bind ws2
"Predef.SOFT_BIND":ws2 -> bind ws2
w : ws2 -> w : bind ws2 w : ws2 -> w : bind ws2
w : "++" : ws2 -> w : bind ws2 w : "++" : ws2 -> w : bind ws2
_ -> ws _ -> ws

File diff suppressed because it is too large Load Diff