ghci

I am trying to write a prop that changes a Sudoku and then checks if it's still valid. However, I am not sure how to use the "oneof"-function properly. Can you give me some hints, please? prop_candidates :: Sudoku -> Bool prop_candidates su = isSudoku newSu && isOkay newSu where newSu = update su aBlank aCandidate aCandidate = oneof [return x | x <- candidates su aBlank] aBlank = oneof [return x | x <- (blanks su)] Here are some more info... type Pos = (Int, Int) update :: Sudoku -> Pos -> Maybe Int -> Sudoku blanks :: Sudoku -> [Pos] candidates :: Sudoku -> Pos -> [Int] [return x | x <-

I'm editing a haskell source file. I want to run my main function in my inferior-haskell buffer (already opened in a different frame) and continue editing my source file. To do this, I do C-c C-l , change frame, main<ret> , change back to original frame This seems quite inefficient. I'd like an emacs function/key that does it one shot. There is actually a function to do this already defined in inf-haskell.el : inferior-haskell-load-and-run . This loads your current file and runs :main . You can bind it to a key in Haskell mode by adding a hook: (defun my-haskell-mode-hook () (local-set-key

I have a haskell project which I compile with -Werror by default. This means that when I run cabal repl it runs with the option -Werror turned on. This means that for example when I evaluate 2 + 2 I get the following error message: <interactive>:2:3: Warning: Defaulting the following constraint(s) to type `Integer' (Num a0) arising from a use of `+' In the expression: 2 + 2 In an equation for `it': it = 2 + 2 So I need a way to turn on the option, -w or maybe -Wwarn on by default for cabal repl . How do I do this? Also what are the default flags for ghci ? You can set GHCi options in your ~/

In Loading source files it states that the search path for finding source files is specified with the -i option : ghci -idir1:...:dirn Does this mean that when one performs : :load test.hs then ghci looks in the directories above for test.hs? I saw the response at Problem Specifying Source Directory to GHC but I am still not clear about this. For example in Windows XP I put test.hs in : C:\Documents and Settings\winuser\My Documents and then ran : ghci -iC:\Documents and Settings\winuser\My Documents However upon doing :load test.hs , ghci complained about not being able to find the file.