darcs-mirror-sem_syn.git
9 years agoRefactor render code into SemSyn.renderCode
Joachim Breitner [Wed, 15 Sep 2010 13:37:21 +0000 (13:37 +0000)]
Refactor render code into SemSyn.renderCode

9 years agoShow astErrors in Output
Joachim Breitner [Mon, 13 Sep 2010 20:16:17 +0000 (20:16 +0000)]
Show astErrors in Output

9 years agoChange type of checkBidirectionalizability to return Maybe String
Joachim Breitner [Mon, 13 Sep 2010 20:13:13 +0000 (20:13 +0000)]
Change type of checkBidirectionalizability to return Maybe String

9 years agoImplement check of bidirectionalizability.
Kazutaka Matsuda [Mon, 13 Sep 2010 13:55:03 +0000 (13:55 +0000)]
Implement check of bidirectionalizability.

9 years agoBug fixes on preprocessing options.
Kazutaka Matsuda [Mon, 13 Sep 2010 13:26:31 +0000 (13:26 +0000)]
Bug fixes on preprocessing options.

9 years agoremove NoB18n button
Joachim Breitner [Mon, 13 Sep 2010 13:27:43 +0000 (13:27 +0000)]
remove NoB18n button

9 years agoRemove ShowType button
Joachim Breitner [Mon, 13 Sep 2010 13:27:32 +0000 (13:27 +0000)]
Remove ShowType button

9 years agoInput and output codes now looks similar to Haskell (or Curry?)
Kazutaka Matsuda [Mon, 13 Sep 2010 12:56:03 +0000 (12:56 +0000)]
Input and output codes now looks similar to Haskell (or Curry?)

9 years agoTypo in author list
Joachim Breitner [Mon, 13 Sep 2010 09:33:57 +0000 (09:33 +0000)]
Typo in author list

9 years agoFix \r\n line endings.
Joachim Breitner [Sun, 12 Sep 2010 08:54:02 +0000 (08:54 +0000)]
Fix \r\n line endings.

9 years agoAdd fromMaybe to defaultPlayCode
Joachim Breitner [Sun, 12 Sep 2010 08:47:29 +0000 (08:47 +0000)]
Add fromMaybe to defaultPlayCode

9 years agoUncurry default get and put
Joachim Breitner [Sun, 12 Sep 2010 08:31:58 +0000 (08:31 +0000)]
Uncurry default get and put

9 years agoMake playCode dependant on b18nMode
Joachim Breitner [Sun, 12 Sep 2010 08:30:13 +0000 (08:30 +0000)]
Make playCode dependant on b18nMode

9 years agoFix bug in BUtil.middle
Joachim Breitner [Sun, 12 Sep 2010 08:29:48 +0000 (08:29 +0000)]
Fix bug in BUtil.middle

9 years agoRemove execMode from GUI
Joachim Breitner [Sun, 12 Sep 2010 08:24:10 +0000 (08:24 +0000)]
Remove execMode from GUI

9 years agoForgot one (Combining)
Joachim Breitner [Fri, 10 Sep 2010 15:53:06 +0000 (15:53 +0000)]
Forgot one (Combining)

9 years agoQualify view function in generated code
Joachim Breitner [Fri, 10 Sep 2010 15:38:50 +0000 (15:38 +0000)]
Qualify view function in generated code

9 years agoExecution → Preprocessing
Joachim Breitner [Fri, 10 Sep 2010 15:31:43 +0000 (15:31 +0000)]
Execution → Preprocessing

9 years agoCosmetic changes to the GUI
Joachim Breitner [Fri, 10 Sep 2010 15:24:16 +0000 (15:24 +0000)]
Cosmetic changes to the GUI

9 years agoTypo: sieve/seive
Joachim Breitner [Fri, 10 Sep 2010 15:20:57 +0000 (15:20 +0000)]
Typo: sieve/seive

9 years agoReferences to the papers and bff.cgi
Joachim Breitner [Fri, 10 Sep 2010 15:20:13 +0000 (15:20 +0000)]
References to the papers and bff.cgi

9 years ago"Combining" in parenthesis
Joachim Breitner [Fri, 10 Sep 2010 15:08:58 +0000 (15:08 +0000)]
"Combining" in parenthesis

9 years agoReally remember code visibility
Joachim Breitner [Fri, 10 Sep 2010 15:00:45 +0000 (15:00 +0000)]
Really remember code visibility

9 years agoAlways hide code
Joachim Breitner [Fri, 10 Sep 2010 14:55:57 +0000 (14:55 +0000)]
Always hide code

9 years agoMake playCode dependent on execMode
Joachim Breitner [Fri, 10 Sep 2010 14:50:44 +0000 (14:50 +0000)]
Make playCode dependent on execMode

9 years agoPass config as a whole to the page function
Joachim Breitner [Fri, 10 Sep 2010 14:48:38 +0000 (14:48 +0000)]
Pass config as a whole to the page function

9 years agoUse b18nMode instead of outputMode in cgi script
Joachim Breitner [Fri, 10 Sep 2010 14:44:04 +0000 (14:44 +0000)]
Use b18nMode instead of outputMode in cgi script

9 years agoImport BUtil also with, for the definition of class Num Nat
Joachim Breitner [Fri, 10 Sep 2010 14:40:57 +0000 (14:40 +0000)]
Import BUtil also with, for the definition of class Num Nat

9 years agoRender Unit as () when generating Haskell code
Joachim Breitner [Fri, 10 Sep 2010 14:39:04 +0000 (14:39 +0000)]
Render Unit as () when generating Haskell code

9 years agoSupport new "userlevel" options.
Kazutaka Matsuda [Fri, 10 Sep 2010 09:16:13 +0000 (09:16 +0000)]
Support new "userlevel" options.

9 years agoImprove HTML validity
Joachim Breitner [Thu, 9 Sep 2010 10:12:42 +0000 (10:12 +0000)]
Improve HTML validity

9 years agoShow/Hide button
Joachim Breitner [Thu, 9 Sep 2010 09:46:28 +0000 (09:46 +0000)]
Show/Hide button

9 years agoremoved brackets around version restrictions in the .cabal file
ds [Wed, 8 Sep 2010 10:30:51 +0000 (10:30 +0000)]
removed brackets around version restrictions in the .cabal file

9 years agoremoved command line output of myInterpreter
ds [Wed, 8 Sep 2010 10:29:56 +0000 (10:29 +0000)]
removed command line output of myInterpreter

9 years agoChanged default outputMode to HaskellCode
Kazutaka Matsuda [Mon, 6 Sep 2010 13:23:52 +0000 (13:23 +0000)]
Changed default outputMode to HaskellCode

9 years ago[Bugfix] Variables in "-n" flag.
Kazutaka Matsuda [Mon, 6 Sep 2010 12:40:35 +0000 (12:40 +0000)]
[Bugfix] Variables in "-n" flag.

9 years agoChange TMPDIR to avoid problem with hint’s temporary files
Joachim Breitner [Sat, 4 Sep 2010 11:36:25 +0000 (11:36 +0000)]
Change TMPDIR to avoid problem with hint’s temporary files

9 years agoUse a pre field for the generated code
Joachim Breitner [Sat, 4 Sep 2010 11:09:07 +0000 (11:09 +0000)]
Use a pre field for the generated code

9 years agoOnly show playing code when output is HaskellCode
Joachim Breitner [Sat, 4 Sep 2010 11:08:14 +0000 (11:08 +0000)]
Only show playing code when output is HaskellCode

9 years agoMake get/put configurable
Joachim Breitner [Sat, 4 Sep 2010 11:03:33 +0000 (11:03 +0000)]
Make get/put configurable

9 years agoMake the user input field functional
Joachim Breitner [Sat, 4 Sep 2010 10:55:57 +0000 (10:55 +0000)]
Make the user input field functional

9 years agoFunctions to create a temporary directory
Joachim Breitner [Sat, 4 Sep 2010 10:55:56 +0000 (10:55 +0000)]
Functions to create a temporary directory

9 years agoMake MyInterpret more configurable WRT loaded modules
Joachim Breitner [Sat, 4 Sep 2010 10:55:02 +0000 (10:55 +0000)]
Make MyInterpret more configurable WRT loaded modules

9 years agoMake MyInterpret use new-style exceptions, avoid compiler warnings
Joachim Breitner [Sat, 4 Sep 2010 10:54:15 +0000 (10:54 +0000)]
Make MyInterpret use new-style exceptions, avoid compiler warnings

9 years agoBundle BUtils in the binary, to avoid a runtime dependency
Joachim Breitner [Sat, 4 Sep 2010 10:53:41 +0000 (10:53 +0000)]
Bundle BUtils in the binary, to avoid a runtime dependency

9 years agoAllow the user to use real numbers when playing with Nat
Joachim Breitner [Sat, 4 Sep 2010 10:53:16 +0000 (10:53 +0000)]
Allow the user to use real numbers when playing with Nat

9 years agoUses directory
Joachim Breitner [Sat, 4 Sep 2010 10:51:39 +0000 (10:51 +0000)]
Uses directory

9 years agoMake BUtil work with new-style exceptions
Joachim Breitner [Sat, 4 Sep 2010 10:24:19 +0000 (10:24 +0000)]
Make BUtil work with new-style exceptions
Otherwise ghc will emit warnings, which break hint (the interpreter library
used)

9 years agoAdd type signatures to MyInterpret
Joachim Breitner [Tue, 31 Aug 2010 19:46:01 +0000 (19:46 +0000)]
Add type signatures to MyInterpret

9 years agoAdd hint to .cabal
Joachim Breitner [Tue, 31 Aug 2010 19:33:43 +0000 (19:33 +0000)]
Add hint to .cabal

9 years agoImport MyInterpret from bff
Joachim Breitner [Tue, 31 Aug 2010 19:28:14 +0000 (19:28 +0000)]
Import MyInterpret from bff

9 years agoPrepare for one big textfield for user interaction
Joachim Breitner [Tue, 31 Aug 2010 19:27:04 +0000 (19:27 +0000)]
Prepare for one big textfield for user interaction

9 years agoNon-function input to play with the code
Joachim Breitner [Sat, 28 Aug 2010 17:34:59 +0000 (17:34 +0000)]
Non-function input to play with the code

9 years agoFactor out readOnly
Joachim Breitner [Sat, 28 Aug 2010 17:34:35 +0000 (17:34 +0000)]
Factor out readOnly

9 years agoShow parseErrors
Joachim Breitner [Sat, 28 Aug 2010 16:58:59 +0000 (16:58 +0000)]
Show parseErrors

9 years agoBetter error message in Type.hs (fails in CGI, though)
Joachim Breitner [Sat, 28 Aug 2010 16:58:37 +0000 (16:58 +0000)]
Better error message in Type.hs (fails in CGI, though)

9 years agoRefactor code
Joachim Breitner [Sat, 28 Aug 2010 16:45:23 +0000 (16:45 +0000)]
Refactor code

9 years agoRestore scoll position over form reloads
Joachim Breitner [Sat, 28 Aug 2010 10:48:21 +0000 (10:48 +0000)]
Restore scoll position over form reloads

9 years agoUpgrade jQuery to v1.4.2
Joachim Breitner [Sat, 28 Aug 2010 10:47:35 +0000 (10:47 +0000)]
Upgrade jQuery to v1.4.2

9 years agoServer jQuery code under own URL (caching does not work though)
Joachim Breitner [Sat, 28 Aug 2010 10:20:39 +0000 (10:20 +0000)]
Server jQuery code under own URL (caching does not work though)

9 years agoAdd jQuery library (embedded for simplicity)
Joachim Breitner [Sat, 28 Aug 2010 09:57:56 +0000 (09:57 +0000)]
Add jQuery library (embedded for simplicity)

9 years ago[Changed] The definition of "defaultCode"
Kazutaka Matsuda [Thu, 29 Jul 2010 02:44:40 +0000 (02:44 +0000)]
[Changed] The definition of "defaultCode"

9 years agoFirst beginnings of a CGI output
Joachim Breitner [Wed, 28 Jul 2010 16:32:32 +0000 (16:32 +0000)]
First beginnings of a CGI output

9 years agoAdd instances for ExecMode and OutputMode
Joachim Breitner [Wed, 28 Jul 2010 16:18:14 +0000 (16:18 +0000)]
Add instances for ExecMode and OutputMode

9 years agoRemove IO related code from SemSyn.hs
Joachim Breitner [Sun, 18 Jul 2010 17:29:52 +0000 (17:29 +0000)]
Remove IO related code from SemSyn.hs

9 years agoSimple Main/SemSyn split
Joachim Breitner [Sun, 18 Jul 2010 17:25:30 +0000 (17:25 +0000)]
Simple Main/SemSyn split

9 years agoAdd type signatures in Main.hs
Joachim Breitner [Sun, 18 Jul 2010 17:22:41 +0000 (17:22 +0000)]
Add type signatures in Main.hs

9 years agoChanged helps messages according to the previous changes.
Kazutaka Matsuda [Fri, 16 Jul 2010 17:52:12 +0000 (17:52 +0000)]
Changed helps messages according to the previous changes.

9 years agoSupporting options for "natify only, shapify only, and b18n only"
Kazutaka Matsuda [Fri, 16 Jul 2010 17:46:30 +0000 (17:46 +0000)]
Supporting options for "natify only, shapify only, and b18n only"

9 years agoMention all occuring files in .cabal
Joachim Breitner [Mon, 5 Jul 2010 08:35:40 +0000 (08:35 +0000)]
Mention all occuring files in .cabal
This allows you to build a proper releaseable tarball using "Setup sdist"

9 years agoRemove cabal init comments from .cabal file
Joachim Breitner [Mon, 5 Jul 2010 08:31:18 +0000 (08:31 +0000)]
Remove cabal init comments from .cabal file

9 years agoElminate some errors about ".cabal"
Kazutaka Matsuda [Mon, 5 Jul 2010 05:55:03 +0000 (05:55 +0000)]
Elminate some errors about ".cabal"

9 years ago"cabal init"ed
Kazutaka Matsuda [Mon, 5 Jul 2010 05:30:47 +0000 (05:30 +0000)]
"cabal init"ed

9 years ago[Init] Implementation of "Combining Syntactic and Semantic Bidirectionalization"
Kazutaka Matsuda [Wed, 30 Jun 2010 09:09:45 +0000 (09:09 +0000)]
[Init] Implementation of "Combining Syntactic and Semantic Bidirectionalization"