darcs-mirror-sem_syn.git
8 years agoIndent cabal install command line master
Joachim Breitner [Sat, 25 Sep 2010 14:55:54 +0000 (14:55 +0000)]
Indent cabal install command line

8 years agoMore Syntatics removed
Joachim Breitner [Sat, 25 Sep 2010 14:55:07 +0000 (14:55 +0000)]
More Syntatics removed

8 years agoFix URL in description
Joachim Breitner [Sat, 25 Sep 2010 08:48:54 +0000 (08:48 +0000)]
Fix URL in description

8 years agoCGI code cleanup (type signatures, unused code, sensible code ordering) 0_1
Joachim Breitner [Sat, 25 Sep 2010 08:41:11 +0000 (08:41 +0000)]
CGI code cleanup (type signatures, unused code, sensible code ordering)

8 years agoLink to hackage from web interface
Joachim Breitner [Sat, 25 Sep 2010 08:25:13 +0000 (08:25 +0000)]
Link to hackage from web interface

8 years agoRename cabal file to match new package name
Joachim Breitner [Sat, 25 Sep 2010 08:23:29 +0000 (08:23 +0000)]
Rename cabal file to match new package name

8 years agoCapitalize section headers
Joachim Breitner [Sat, 25 Sep 2010 08:22:09 +0000 (08:22 +0000)]
Capitalize section headers

8 years agoMention cabal-install
Joachim Breitner [Sat, 25 Sep 2010 08:21:55 +0000 (08:21 +0000)]
Mention cabal-install

8 years agoUse runhaskell Setup.hs in manual build (otherwise cabal-install works)
Joachim Breitner [Sat, 25 Sep 2010 08:21:26 +0000 (08:21 +0000)]
Use runhaskell Setup.hs in manual build (otherwise cabal-install works)

8 years agoAdd Kazutaka to Web copyright statement
Joachim Breitner [Sat, 25 Sep 2010 08:20:52 +0000 (08:20 +0000)]
Add Kazutaka to Web copyright statement

8 years agoLink to hackage, fix name of the tarball
Joachim Breitner [Sat, 25 Sep 2010 08:19:41 +0000 (08:19 +0000)]
Link to hackage, fix name of the tarball

8 years agoLink to CGI version in README
Joachim Breitner [Sat, 25 Sep 2010 08:19:12 +0000 (08:19 +0000)]
Link to CGI version in README

8 years agoElaborate description in .cabal file
Joachim Breitner [Sat, 25 Sep 2010 08:08:39 +0000 (08:08 +0000)]
Elaborate description in .cabal file

8 years agoMention darcs reository in .cabal
Joachim Breitner [Sat, 25 Sep 2010 08:06:23 +0000 (08:06 +0000)]
Mention darcs reository in .cabal

8 years agoImprove the .cabal file
Joachim Breitner [Sat, 25 Sep 2010 08:05:28 +0000 (08:05 +0000)]
Improve the .cabal file

8 years agoAdd README
Kazutaka Matsuda [Fri, 24 Sep 2010 06:10:39 +0000 (06:10 +0000)]
Add README

8 years agoLink to .../desc.html
Joachim Breitner [Wed, 22 Sep 2010 09:26:09 +0000 (09:26 +0000)]
Link to .../desc.html

8 years ago"You can also load some predefined examples."
Joachim Breitner [Wed, 22 Sep 2010 09:25:09 +0000 (09:25 +0000)]
"You can also load some predefined examples."

8 years agoconsistenly use pretty unicode apostrophies
Joachim Breitner [Wed, 22 Sep 2010 08:01:20 +0000 (08:01 +0000)]
consistenly use pretty unicode apostrophies

8 years agoRemove type-checking error.
Kazutaka Matsuda [Wed, 22 Sep 2010 07:24:42 +0000 (07:24 +0000)]
Remove type-checking error.

8 years agoRemove commented-out codes
Kazutaka Matsuda [Wed, 22 Sep 2010 07:23:40 +0000 (07:23 +0000)]
Remove commented-out codes

8 years agosome further superficial changes by Janis
jv [Fri, 17 Sep 2010 06:02:01 +0000 (06:02 +0000)]
some further superficial changes by Janis

8 years agotypo: Syntatic
Joachim Breitner [Thu, 16 Sep 2010 19:42:50 +0000 (19:42 +0000)]
typo: Syntatic

8 years agoHandle another lookup failure in typeMap
Joachim Breitner [Thu, 16 Sep 2010 19:11:18 +0000 (19:11 +0000)]
Handle another lookup failure in typeMap

8 years agoPrint type errors withing checkBidirectionalizability
Joachim Breitner [Thu, 16 Sep 2010 14:44:25 +0000 (14:44 +0000)]
Print type errors withing checkBidirectionalizability

8 years agoHandle typeCheck error in Main.hs
Joachim Breitner [Thu, 16 Sep 2010 14:36:29 +0000 (14:36 +0000)]
Handle typeCheck error in Main.hs

8 years agoMake typeInference pass error outwards
Joachim Breitner [Thu, 16 Sep 2010 14:31:03 +0000 (14:31 +0000)]
Make typeInference pass error outwards

8 years agoDo not show playCode if there was an astError
Joachim Breitner [Thu, 16 Sep 2010 14:30:00 +0000 (14:30 +0000)]
Do not show playCode if there was an astError

8 years agoPass failure in assignTypeVars out of inferenceStep
Joachim Breitner [Thu, 16 Sep 2010 14:29:42 +0000 (14:29 +0000)]
Pass failure in assignTypeVars out of inferenceStep

8 years agoCruft removal
Joachim Breitner [Thu, 16 Sep 2010 14:21:34 +0000 (14:21 +0000)]
Cruft removal

8 years agosome superficial changes by Janis
jv [Thu, 16 Sep 2010 04:52:18 +0000 (04:52 +0000)]
some superficial changes by Janis

8 years agoDo not use xhtml mimetype, no CDATA, for IE compatibility
Joachim Breitner [Wed, 15 Sep 2010 14:18:15 +0000 (14:18 +0000)]
Do not use xhtml mimetype, no CDATA, for IE compatibility

8 years agoMerge changes by Kazutaka and me, do not use renderCode in Main.hs
Joachim Breitner [Wed, 15 Sep 2010 14:05:13 +0000 (14:05 +0000)]
Merge changes by Kazutaka and me, do not use renderCode in Main.hs

8 years agoExplicitly pass the parameters to put in -sem
Kazutaka Matsuda [Wed, 15 Sep 2010 13:28:51 +0000 (13:28 +0000)]
Explicitly pass the parameters to put in -sem

8 years agoBug fix on SemanticB18n
Kazutaka Matsuda [Tue, 14 Sep 2010 11:25:35 +0000 (11:25 +0000)]
Bug fix on SemanticB18n

8 years agoCombined-line mode checks bidirectionalizability
Kazutaka Matsuda [Tue, 14 Sep 2010 05:38:11 +0000 (05:38 +0000)]
Combined-line mode checks bidirectionalizability

8 years agoChange description about options.
Kazutaka Matsuda [Tue, 14 Sep 2010 05:37:27 +0000 (05:37 +0000)]
Change description about options.

8 years agoMention that the first defined function is used
Joachim Breitner [Wed, 15 Sep 2010 14:02:03 +0000 (14:02 +0000)]
Mention that the first defined function is used

8 years agoAmended the error message
Joachim Breitner [Wed, 15 Sep 2010 14:01:33 +0000 (14:01 +0000)]
Amended the error message

8 years agoDo not show bidi button if there is an error
Joachim Breitner [Wed, 15 Sep 2010 13:57:24 +0000 (13:57 +0000)]
Do not show bidi button if there is an error

8 years agoLabel b18n radio buttons
Joachim Breitner [Wed, 15 Sep 2010 13:57:21 +0000 (13:57 +0000)]
Label b18n radio buttons

8 years agoReoder examples
Joachim Breitner [Wed, 15 Sep 2010 13:50:54 +0000 (13:50 +0000)]
Reoder examples

8 years agoICFP10 Paper name
Joachim Breitner [Wed, 15 Sep 2010 13:50:35 +0000 (13:50 +0000)]
ICFP10 Paper name

8 years agoRefactor playCode some more, add bias and default_valu
Joachim Breitner [Wed, 15 Sep 2010 13:47:23 +0000 (13:47 +0000)]
Refactor playCode some more, add bias and default_valu

8 years agoCall adjustConfig and do not set execMode
Joachim Breitner [Wed, 15 Sep 2010 13:43:25 +0000 (13:43 +0000)]
Call adjustConfig and do not set execMode

8 years agoUse renderCode
Joachim Breitner [Wed, 15 Sep 2010 13:42:06 +0000 (13:42 +0000)]
Use renderCode

8 years agoRefactor in defaultPlayCode
Joachim Breitner [Wed, 15 Sep 2010 13:41:11 +0000 (13:41 +0000)]
Refactor in defaultPlayCode

8 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

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

8 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

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

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

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

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

8 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?)

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

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

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

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

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

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

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

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

8 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

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

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

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

8 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

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

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

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

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

8 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

8 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

8 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

8 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

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

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

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

8 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

8 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

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

8 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.

8 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

8 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

8 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

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

8 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

8 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

8 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

8 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

8 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

8 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

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

8 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)

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

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

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

8 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

8 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