bidirectionalization-combined 0.1 → 0.1.0.1
raw patch · 3 files changed
+10/−9 lines, 3 files
Files
- Main.hs +3/−3
- README +2/−1
- bidirectionalization-combined.cabal +5/−5
Main.hs view
@@ -82,7 +82,7 @@ $$ 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 @@ (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 @@ 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 "-------" $$
README view
@@ -97,7 +97,8 @@ -------------------------------- If you have [cabal-install] (part of the Haskell Platform) available on your system, you can install b18n-combined using the command- cabal install bidirectionalization-combined++ cabal install bidirectionalization-combined [cabal-install]: http://haskell.org/cabal/download.html
bidirectionalization-combined.cabal view
@@ -1,15 +1,15 @@ Name: bidirectionalization-combined-Version: 0.1-Synopsis: Prototype Implementation of Combining Syntatic and Semantic Bidirectionalization (ICFP'10)+Version: 0.1.0.1+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. . This package builds two executables to experiment with the system, a command line program "b18-combined" and a CGI based web interface- "b18n-combined-cgi". The latter is also available on- http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/+ "b18n-combined-cgi". The latter is also available online at+ <http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/> License: PublicDomain Author: Kazutaka Matsuda, Joachim Breitner Maintainer: kztk@kb.ecei.tohoku.ac.jp