diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-07-04 11:27:06 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-07-04 11:27:06 +0000 |
| commit | 0f8ef7432cbbcc0b6b81240acd8b8e3d941c20f3 (patch) | |
| tree | b7cddb3936f9d9cd469a5f2802338717c4f2a740 /examples/regulus/toy1/Toy1aEng.gf | |
| parent | 173da349b4cd17b67f54d27df7b2e8d45fa60e9c (diff) | |
Fized some typos in Toy1.
Diffstat (limited to 'examples/regulus/toy1/Toy1aEng.gf')
| -rw-r--r-- | examples/regulus/toy1/Toy1aEng.gf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/regulus/toy1/Toy1aEng.gf b/examples/regulus/toy1/Toy1aEng.gf index 1d71eabf1..d0748cc82 100644 --- a/examples/regulus/toy1/Toy1aEng.gf +++ b/examples/regulus/toy1/Toy1aEng.gf @@ -1,6 +1,6 @@ --# -path=.:prelude -concrete Toy1Eng of Toy1 = open Prelude in { +concrete Toy1aEng of Toy1a = open Prelude in { -- grammar Toy1 from the Regulus book @@ -42,8 +42,8 @@ lin light = mkNoun "light" ; fan = mkNoun "fan" ; - switchOn _ = mkVerb "switch" "swithced" "on" ; - switchOff _ = mkVerb "switch" "swithced" "off" ; + switchOn _ = mkVerb "switch" "switched" "on" ; + switchOff _ = mkVerb "switch" "switched" "off" ; dim = mkVerb "dim" "dimmed" [] ; |