More Syntatics removed
authorJoachim Breitner <mail@joachim-breitner.de>
Sat, 25 Sep 2010 14:55:07 +0000 (14:55 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 25 Sep 2010 14:55:07 +0000 (14:55 +0000)
Main.hs
bidirectionalization-combined.cabal

diff --git a/Main.hs b/Main.hs
index 59ee771..31fc997 100644 (file)
--- a/Main.hs
+++ b/Main.hs
@@ -82,7 +82,7 @@ options =
               $$ text "This options implies \"-n\".")
              (NullaryAction (\conf -> conf {outputMode = HaskellCode, execMode = ShapifyPlus})),
       Option "-P"  (Just "--pseudo-code") empty
-             (text "(Obsolete) Return a pseudo code only after syntatic bidirectionalizatoin."
+             (text "(Obsolete) Return a pseudo code only after syntactic bidirectionalizatoin."
               $$ text "Note that \"wrapping\" code for semantic bidirectionalization is not produced.")
              (NullaryAction (\conf -> conf {outputMode = PseudoCode })),
       Option "-F"  (Just "--forward-only") empty
@@ -98,7 +98,7 @@ options =
              (text"No Bidirectionalization (transformation stops after pre-processing)")
              (NullaryAction (\conf -> conf {b18nMode = NoB18n})),
       Option "-syn" (Just "--syntactic") empty 
-             (text"Syntatic Bidirectionalization.")
+             (text"Syntactic Bidirectionalization.")
              (NullaryAction (\conf -> conf {b18nMode = SyntacticB18n, outputMode = OM_NotSpecified  })),
       Option "-sem" (Just "--semantic") empty 
              (text"Semantic Bidirectionalization.")
@@ -192,7 +192,7 @@ usage = show $
          wrap 80 ( "Given a \"get\" function defined in a file specified by FILENAME, "
                   ++ "the program returns \"put\" function by combining "
                   ++ "semantic bidirectionalization (Janis Voiglander: POPL'09) "
-                  ++ "and syntatic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " FILENAME\", which correspondes to the paper.\n"
+                  ++ "and syntactic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " FILENAME\", which correspondes to the paper.\n"
                   ) $+$
     text "OPTIONS" $$
     text "-------" $$
index 875ec08..e663ef1 100644 (file)
@@ -1,8 +1,8 @@
 Name:                bidirectionalization-combined
 Version:             0.1
-Synopsis:            Prototype Implementation of Combining Syntatic and Semantic Bidirectionalization (ICFP'10)
+Synopsis:            Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)
 Description:         This is a prototype implementation of the idea presented 
-                     in Combining Syntatic and Semantic Bidirectionalization 
+                     in Combining Syntactic and Semantic Bidirectionalization 
                      by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda 
                      and Meng Wang.
                     .