haskell - cabal repl is too slow -

-

Currently, cabal repl is useless for typing at the sign is unsure: some letters appear If you give it, then it seems to hang for 5-10 seconds, only to move forward again later. I suspect that it is related to the fact that it loads the ALX / Generate files (respectively 81K and 134 respectively) in RPL I really do not need those files for REPL support. I'm not sure that there really is a problem, but I do not know what I will try.

I want to be able to get them out of REPL, while they still have to be involved in the manufacturing process. Even better: can I use any one of those files ( lex / parse ) in one way?

EDIT: I see this behavior running GHC 7.8.3 / cable 1.20.0.3 on OS X 10.9 and with the mid -2012 RMBP (Sandy Bridge) with 16 GB RAM. GHC / KABAL was established through homebrew.

Edit 2: In the question

You can post your .cabal file Are you

If I understand your situation correctly, then how can I proceed:

  1. Verify that Alex and Happy Generated Files Revealed
  2. If so, then consider moving it to a different package so that ghci could load those compiled versions. # 1 for

, I can try Alex and happy files only with stubs - skeletal files that contain definitions ( = undefined ) Are only for symbols which are imported by other modules.


Comments

Post a Comment

Popular posts from this blog

apache - 504 Gateway Time-out The server didn't respond in time. How to fix it? -

-
Using a form submission on an embedded iframe , the customer downloads a compressed log file Requested. The request was sent to the server, which is the compressed log files, perform some database operations and returns a compressed file. After just 2 minutes, 504 gateway time-out server did not respond timely message on browser net panel How to fix this error? The log files were taking a long time to compress, and timeout was set to 2min The error was fixed by extending the file file: # # timeout: The number of seconds before getting the time out. # # # Timeout 120 timeout 600
Read more

c# - .net WebSocket: CloseOutputAsync vs CloseAsync -

-
We have a working ASP.NET Web API REST service, which is one of the methods of our controller, HTTPTTEX. .) Socket handler code looks something like this ... Public async task socket handler (AspNetWebSocketContext context) {_webSocket = context.WebSocket; ... while (! Cts.IsCancellationRequested) {WebSocketReceiveResult Results = _webSocket.ReceiveAsync (Input Segment, cts.Token) .Result; WebSocketsStateCollusocketState = _webSocket.State; If (result.MessageType == WebSocketMessageType.Close || currentSocketState == WebSocketState.CloseReceived) {// What should I use. CloseAysnc () or. CloseOutputAsync ()? _webSocket.CloseOutputAsync (WebSocketCloseStatus.NormalClosure, "Client Requested", cts.Token). Wait (); } If (currentSocketState == WebSocketState.Open) {...}}} .What is the difference between .CooseAsync () and CloseOutputAysnc ()? I tried both of them and they both seemed to work fine but some difference should be the same they both describe very similar to...
Read more

c++ - How to properly scale qgroupbox title with stylesheet for high resolution display? -

-
I am trying to apply a stylesheet for QGroupBox (QT4.8), which works on the normal screen ( 96 dpi) high resolution screen (Yoga 2 Pro, 3200x1800, 275 dpi, windows 8.1). The following style looks good on the 275 dpi screen, but the top margins on a regular 96 dpi screen are far too big. QGroupBox {border: 1px solid red; Range radius: 7px; Margin-top: 12x; } QGroupBox :: Title {subcontrol-origin: margin; Subcontrol-position: left above; Padding-left: 10px; Padding-right: 10px; } Changing the top-margin has an effect, but I did not get a proper setting which works on both screens. If I shorten the value, the content of the group box overlaps with the title on 275 dpi screen. I was also playing with units "East", "PX", "MX", "PT". Reading the document I would have guessed, "2 X" was the correct solution, which should be scaled with different screen resolutions. Without the stylesheet, the groupbox works well on both screens. ...
Read more