Databases
StackOverflow2013
Postsdbo
PONested `do` blocks in Haskell
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PONested `do` blocks in Haskell
    primarykey
    data
    text
    <p>I'm trying to write a function in Haskell which checks for some things and then recurses based on some minimal user input. In order to do that I think I have to use <code>do</code> blocks.</p> <pre><code>cip :: [Argument] -&gt; [Argument] -&gt; Bool -&gt; Bool -&gt; IO() cip (a:args) pargs burden gameover = do let nasko = a:pargs putStrLn (getPremise a) let newgraph = Carneades.mkArgGraph nasko let newcaes = (CAES (newgraph,audience2,assStandarts)) let answer = (acceptable (mkProp (getPremise a)) newcaes ) print answer if(answer==True) then (cip args nasko burden gameover) else do print "One of the arguments is not proved. Here are the premises that need proving" print (propsForFixing newcaes a) print "Let's see what you have for the first Propositon" --add an if to check if no applicable arguments. print (argumentScanHelp (head (propsForFixing newcaes a)) args) print "\n Would you like me to apply the firt one? Y/N" choice &lt;- getLine if(choice=="Y") then do print "applying the argument" let applicabee = head (argumentScanHelp (head (propsForFixing newcaes a)) args) print "Argument targeted" let newargs = delete applicabee args let newpargs = applicabee:nasko print "Argument applied sucsessfuly. Recusing again" (cip newargs newpargs burden gameover) return() </code></pre> <p>It hurts my eyes just by looking at it, but that's <code>do</code> blocks for you. Everything up to the third <code>do</code> block is okay. But then on this line:</p> <pre><code> if(choice=="Y") then do print "applying the argument" let applicabee = head (argumentScanHelp (head (propsForFixing newcaes a)) args) </code></pre> <p>The complier starts crying:</p> <pre><code>Main.hs:209:73: parse error on input `let' </code></pre> <p>Tried a all kinds of different indentations but I can't seem to get it to work. I don't want to use separate functions, because that means I'll have to pass a lot of arguments around constantly.</p> <p>Can anyone help me get it right? Also an explanation of what exactly the specifications for nested <code>do</code> block are would be greatly appreciated. </p>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USSaro Taşciyan
    1. USAtanas Bozhkov
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. PONested `do` blocks in Haskell
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. PONested `do` blocks in Haskell
      1. USIT Ninja
      1. VTFavorite
    3. VO
      singulars
      1. PONested `do` blocks in Haskell
      1. This table or related slice is empty.
      1. VTUpMod
    1. CO`if (answer == True)` is the same as `if answer`
      singulars
      1. PONested `do` blocks in Haskell
      1. USamindfv
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload