diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-25 15:33:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-25 15:33:40 +0000 |
| commit | f081dc0d6bb73d5439420569c352e88b0f096a7f (patch) | |
| tree | 5e048635f979ec0e22f2510256d728ee80f6acab /examples/regulus/toy1 | |
| parent | 16bfb1250b0bc97d3b1786585c80bcb3d969e874 (diff) | |
prepared examples for Speechgram presentation
Diffstat (limited to 'examples/regulus/toy1')
| -rw-r--r-- | examples/regulus/toy1/Toy1.gf | 2 | ||||
| -rw-r--r-- | examples/regulus/toy1/Toy1Eng.gf | 12 | ||||
| -rw-r--r-- | examples/regulus/toy1/Toy1Fre.gf | 2 | ||||
| -rw-r--r-- | examples/regulus/toy1/Toy1I.gf | 2 |
4 files changed, 9 insertions, 9 deletions
diff --git a/examples/regulus/toy1/Toy1.gf b/examples/regulus/toy1/Toy1.gf index 70fa5ce9f..49bd320c1 100644 --- a/examples/regulus/toy1/Toy1.gf +++ b/examples/regulus/toy1/Toy1.gf @@ -38,7 +38,7 @@ fun switchable_light : Switchable light ; switchable_fan : Switchable fan ; - dimmable_fan : Dimmable fan ; + dimmable_light : Dimmable light ; statelike_switchOn : (k : Kind) -> (s : Switchable k) -> Statelike k (switchOn k s) ; statelike_switchOff : (k : Kind) -> (s : Switchable k) -> Statelike k (switchOff k s) ; diff --git a/examples/regulus/toy1/Toy1Eng.gf b/examples/regulus/toy1/Toy1Eng.gf index 30e861f44..384e50060 100644 --- a/examples/regulus/toy1/Toy1Eng.gf +++ b/examples/regulus/toy1/Toy1Eng.gf @@ -71,14 +71,14 @@ oper Pl => "are" } ; + hidden : SS = ss [] ; lin - switchable_light = ss [] ; - switchable_fan = ss [] ; - dimmable_fan = ss [] ; - - statelike_switchOn _ _ = ss [] ; - statelike_switchOff _ _ = ss [] ; + switchable_light = hidden ; + switchable_fan = hidden ; + dimmable_light = hidden ; + statelike_switchOn _ _ = hidden ; + statelike_switchOff _ _ = hidden ; } diff --git a/examples/regulus/toy1/Toy1Fre.gf b/examples/regulus/toy1/Toy1Fre.gf index 73ac9aa97..c5d903519 100644 --- a/examples/regulus/toy1/Toy1Fre.gf +++ b/examples/regulus/toy1/Toy1Fre.gf @@ -86,7 +86,7 @@ oper lin switchable_light = ss [] ; switchable_fan = ss [] ; - dimmable_fan = ss [] ; + dimmable_light = ss [] ; statelike_switchOn _ _ = ss [] ; statelike_switchOff _ _ = ss [] ; diff --git a/examples/regulus/toy1/Toy1I.gf b/examples/regulus/toy1/Toy1I.gf index 03193d5b7..eb7a9db7a 100644 --- a/examples/regulus/toy1/Toy1I.gf +++ b/examples/regulus/toy1/Toy1I.gf @@ -41,7 +41,7 @@ lin lin switchable_light = ss [] ; switchable_fan = ss [] ; - dimmable_fan = ss [] ; + dimmable_light = ss [] ; statelike_switchOn _ _ = ss [] ; statelike_switchOff _ _ = ss [] ; |