vyorkin

    listFields ''MyData
  ======>
    instance Show MyData where
      GHC.Show.show x_agvh
        = (intercalate ", ")
            ((map ($ x_agvh))
               [\ x_agvi -> ("foo" ++ (" = " ++ GHC.Show.show (foo x_agvi))),
                \ x_agvj -> ("bar" ++ (" = " ++ GHC.Show.show (bar x_agvj)))])

vyorkin

PureScript compiler issues:

• purescript/purescript#3443
• purescript/purescript#3453
• purescript/purescript#3510

vyorkin

  # see: https://github.com/rycee/home-manager/issues/299
  # wait for: https://github.com/rycee/home-manager/pull/517/
  systemd.user.services.emacs-daemon = {
    Unit = {
      Description = "Emacs text editor";
      Documentation = "info:emacs man:emacs(1) https://gnu.org/software/emacs/";
    };
    Service = {
      Type = "simple";
      ExecStart = "${pkgs.stdenv.shell} -l -c 'exec /run/current-system/sw/bin/emacs --fg-daemon'";

vyorkin

module Chat.Web.Socket.WebSocket
  ( onClose
  , onMessage
  ) where

import Prelude
import Chat.Data.Message (Message)
import Chat.Data.Message as Message
import Control.Monad.Except (runExcept)
import Data.Array as Array

vyorkin

module ParentView where

import Prelude
import Halogen as H
import Halogen.HTML as HH
import Halogen.HTML.Events as HE
import Halogen.HTML.Properties as HP

import Data.Maybe (Maybe(..))
import Control.Monad.Aff (Aff)

vyorkin

Emacs 27.0.50 (x86_64-apple-darwin18.2.0) of 2018-11-08 on dead.local
Company 0.9.7

company-backends: (company-cabal company-elisp merlin-company-backend company-bbdb company-eclim company-semantic company-clang company-xcode company-cmake company-capf company-files
               (company-dabbrev-code company-gtags company-etags company-keywords)
               company-oddmuse company-dabbrev)

Used backend: company-capf
Major mode: haskell-mode
Prefix: ""

vyorkin

(use-package proof-site
  :load-path "lisp/PG/generic"
  :mode ("\\.v\\'" . coq-mode)
  :custom
  (proof-delete-empty-windows t)
  (proof-shrink-windows-tofit t)
  :init
  (use-package coq-mode
    :ensure nil
    :commands coq-mode

vyorkin

{-# LANGUAGE TemplateHaskell #-}
module Database
  ( Connection
  , Db
  , initDb
  ) where

import Data.Int (Int64)
import Data.FileEmbed (embedDir)
import Data.List (sortBy)

vyorkin

(require 'init-quelpa)
(require 'init-general)
(require 'init-company)
(require 'init-flycheck)
(require 'init-projectile)

(use-package lsp-mode
  :requires init-projectile
  :after projectile
  ;; :ensure nil

vyorkin

*.DS_Store
*.sw[nop]
.bundle
db/*.sqlite3
log/*.log
rerun.txt
tags
tmp/**/*
!tmp/cache/.keep
*buffergator-tabs*