From mboxrd@z Thu Jan 1 00:00:00 1970 From: Eric Schulte Subject: Re: Babel woes Date: Fri, 19 Aug 2011 06:59:25 -0600 Message-ID: <87vctto3a6.fsf@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([140.186.70.92]:60819) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QuQY3-0007e7-4g for emacs-orgmode@gnu.org; Fri, 19 Aug 2011 10:59:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QuQY1-0005zu-Af for emacs-orgmode@gnu.org; Fri, 19 Aug 2011 10:59:51 -0400 Received: from mail-gx0-f169.google.com ([209.85.161.169]:58333) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QuQY1-0005wa-86 for emacs-orgmode@gnu.org; Fri, 19 Aug 2011 10:59:49 -0400 Received: by mail-gx0-f169.google.com with SMTP id 23so2457264gxk.0 for ; Fri, 19 Aug 2011 07:59:49 -0700 (PDT) List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Andras Major Cc: emacs-orgmode@gnu.org Andras Major writes: > Hi everyone, > > I've been trying to use org-mode for report generation lately, and > haven't really succeeded. Here's a list of issues I encounter: > > - Babel offers a way of generating a code block from the output or > value of a code block. That new block, however, is forced to the > same language as the original block -- that is doesn't allow me, for > example, to use a Haskell block to create an asymptote figure which > then generates an image in the HTML or PDF export version. Is there > a way around this limitation? > > - Ruby: is inf-ruby really required? Why can't I execute a ruby block > without it? > I just pushed up a fix for this. inf-ruby is now only required when session evaluation is used. I'll preface all of the Haskell questions with the caveat that this may be the first and most serious use of ob-haskell, so some growing pains are to be expected. > > - Haskell: there are at least two interpreters that babel will invoke, > depending on what is available (ghci and hugs), and those two are > incompatible in some areas (such as loading modules, where the > commands are different -- :add vs. :load). I haven't found a way of > + forcing the use of a specific interpreter; > + specifying command-line arguments to the interpreter (which would > eliminate the need for :add or :load). > This really makes using Haskell rather hit-and-miss, see below. > ob-haskell uses inf-haskell to evaluate haskell code. Should a header argument be added to pass additional arguments to the `run-haskell' function provided by inf-haskell? How does non-babel inf-haskell usage deal with this problem. > > - Haskell code usage is rather cumbersome: since Babel invokes an > interpreter rather than runghc, a Haskell block doesn't nearly have > the flexibility of a real Haskell program. In particular, one can > only make definitions (portably) in the Haskell code by creating a > separate block which is tangled but not executed. Another block, > which is executed, can then load the tangled module and use its > definitions (if it weren't for the problems described above and > below). > I am not familiar with runghc, does that allow execution of Haskell source code in a non-interactive way without explicit compilation. The decision to use interactive evaluation for Haskell was motivated by the desire to avoid an explicit compilation step -- something which has since been implemented for languages like C and would itself pose another non-session evaluation option. > > - The handling of interpreted Haskell appears to be rather dodgy: If I > want to load a module (in ghci) and then evaluate some function, > then I run into real trouble. None of my tests run at all when > first loaded into emacs, but if I execute some tests in a certain > order, it all starts working. I haven't been able to figure out yet > what goes wrong and what "playing around" makes things work, but it > appears that > #+begin_src haskell > :add SomeModule > someFunction > #+end_src > will not work because the :add statement is ignored. If I put the > two lines in separate Haskell blocks and execute each one > separately, then things start to work. > That is odd, I would recommend looking in the inf-haskell buffer to see if any lines are not being passed through to haskell. If modules must be loaded before the remainder of the code block is evaluated perhaps a :modules header argument could be tried. > > - I also tried using sbe to invoke a Haskell function from within a > table formula. Here I usually get an error "ERROR - Undefined > variable "x"", which sometimes goes away rather magically (I'm not > sure what makes it go away), after which things work just fine. > Emacs-lisp blocks written in the same manner work out of the box. > I'll need a reproducible example to answer this question. > > - Haskell uses a static type system, and there is no such thing as > automatic casting if a variable has the wrong type for a given > function. Thus, if I evaluate the numbers of a table using Haskell > and sbe, and some values have a decimal dot and other (integer) ones > omit it, then one of these versions will throw an error. Is there a > way of converting the values beforehand to a given type (say, > Double), only to make Haskell happy? > yes, you could pass the variables through an elisp function before passing them to haskell. > > Can anyone give me a hint of why these things don't work and whether > I'm doing something wrong? > > Oh, I'm using emacs from Debian testing (23.2+1-7) and org from git > (cloned today). > These problems are most likely largely due to the immaturity of ob-haskell and not to the specifics of your personal setup. Best -- Eric > > Thanks, > > Andr=C3=A1s > --=20 Eric Schulte http://cs.unm.edu/~eschulte/