Ignat Insarov kindaro
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Main where | |
| import Data.Foldable | |
| import Database.PostgreSQL.Simple | |
| import Database.PostgreSQL.Simple.FromField | |
| import qualified Opaleye | |
| import Templates | |
| makeOpaleyeInterface | |
| TableIdentifier {maybeNameOfSchema = Just "information_schema", nameOfTable = "columns"} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# language TemplateHaskell, BlockArguments, RecordWildCards, OverloadedStrings #-} | |
| module Templates where | |
| import Language.Haskell.TH | |
| import Data.Profunctor.Product.TH | |
| import Opaleye | |
| import Opaleye.Table | |
| import Data.Maybe (fromMaybe) | |
| import LocalQ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- See <https://gelisam.blogspot.com/2017/10/composing-declarations-in-template.html>. | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| module LocalQ where | |
| -- import Language.Haskell.TH.Syntax | |
| import Control.Monad.Trans.State.Strict | |
| import Control.Monad.Trans | |
| import Language.Haskell.TH.Syntax hiding (lift) |
kindaro
/ gist:5ac821534fc5ae0b87ffff100ee5af0b
Created
October 16, 2020 14:44
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % journalctl --file=/var/log/journal/c7f318c0e76b48f2a0bb8333cfb8d635/[email protected]~ | |
| Failed to open files: Protocol not supported | |
| % SYSTEMD_LOG_LEVEL=debug journalctl --file=/var/log/journal/c7f318c0e76b48f2a0bb8333cfb8d635/[email protected]~ | |
| Journal effective settings seal=no compress=no compress_threshold_bytes=8B | |
| Journal file /var/log/journal/c7f318c0e76b48f2a0bb8333cfb8d635/[email protected]~ has unknown incompatible flags 0xc | |
| Failed to open journal file /var/log/journal/c7f318c0e76b48f2a0bb8333cfb8d635/[email protected]~: Protocol not supported | |
| mmap cache statistics: 0 hit, 1 miss | |
| Failed to open files: Protocol not supported |
kindaro
/ DigitalPlumber.hs
Last active
September 12, 2020 17:20
— forked from IronGremlin/DigitalPlumber.hs
Attempt at recursion-schemes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import qualified Data.Set as S | |
| import qualified Data.Map.Strict as M | |
| import Data.List.Split (splitOn) | |
| import Data.List (stripPrefix) | |
| import Data.Maybe (fromJust) | |
| newtype Fix f = In { out :: f (Fix f) } | |
| type Algebra f a = f a -> a |
kindaro
/ dune.2.log
Created
May 6, 2020 17:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ... | |
| CHECK success/Nia.v | |
| make report | |
| make[1]: Entering directory '/srv/src/coq/_build/default/test-suite' | |
| BUILDING SUMMARY FILE | |
| logs/bugs/closed/bug_5127.v.log | |
| ==========> TESTING bugs/closed/bug_5127.v <========== | |
| File "./bugs/closed/bug_5127.v", line 13, characters 0-22: | |
| Warning: To avoid stack overflow, large numbers in nat are interpreted as | |
| applications of Nat.of_uint. [abstract-large-number,numbers] |
kindaro
/ dune.2.log
Last active
May 6, 2020 19:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ... | |
| CHECK success/Nia.v | |
| make report | |
| make[1]: Entering directory '/srv/src/coq/_build/default/test-suite' | |
| BUILDING SUMMARY FILE | |
| logs/micromega/qexample.v.log | |
| ==========> TESTING micromega/qexample.v <========== | |
| File "./micromega/qexample.v", line 70, characters 2-12: | |
| Error: | |
| Anomaly |
kindaro
/ gemrb.out.log
Created
April 6, 2020 19:01
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [1m[37;40m[Core[1m[37;40m]: [0m[37;40mGemRB Core Version v0.8.6-git Loading... | |
| [1m[37;40m[Config[1m[37;40m]: [0m[37;40mattempting to initialize config with gemrb.cfg | |
| [1m[37;40m[Core[1m[37;40m]: [0m[37;40mInitializing the Event Manager... | |
| [1m[37;40m[Core[1m[37;40m]: [0m[37;40mStarting Plugin Manager... | |
| [1m[37;40m[PluginMgr[1m[37;40m]: [0m[37;40mLoading Plugins from /usr/lib/gemrb/plugins | |
| [1m[37;40m[PluginLoader[1m[37;40m]: [0m[37;40mLoaded plugin "GAM File Importer" (GAMImporter.so). | |
| [1m[37;40m[PluginLoader[1m[37;40m]: [0m[37;40mLoaded plugin "SPL File Importer" (SPLImporter.so). | |
| [1m[37;40m[PluginLoader[1m[37;40m]: [0m[37;40mLoaded plugin "Effect opcodes for the icewind branch of the games" (IWDOpcodes.so). | |
| [1m[37;40m[PluginLoader[1m[37;40m]: [0m[37;40mLoaded plugin "Directory Importer" (DirectoryImporter.so). | |
| [1m[37;40m[PluginLoader[1m[37;40m]: [0m[37;40mLoaded plugin "SAV File Importer" (SAVImporter.so). |
kindaro
/ console.log
Last active
March 26, 2020 14:26
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % make -f Makefile.dune coq | |
| dune build --build-dir=_build_boot @vodeps | |
| dune exec --build-dir=_build_boot -- ./tools/coq_dune.exe _build_boot/default/.vfiles.d | |
| dune build coq.install | |
| File "./theories/Init/Tauto.v", line 16, characters 7-8: | |
| Error: | |
| Syntax error: [rightwards_double_arrow] expected after '_' (in [match_context_rule]). | |
| make: *** [Makefile.dune:63: coq] Error 1 |
kindaro
/ gist:5a079640c4ad1752b4edf320ba1503f8
Created
January 26, 2020 17:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % diff -r ~/.ghc{,.clean} | |
| diff -r /home/kindaro/.ghc/x86_64-linux-8.6.5/environments/default /home/kindaro/.ghc.clean/x86_64-linux-8.6.5/environments/default | |
| 15a16 | |
| > package-id binary-0.8.7.0-ac146463e540a8b352c9d40d987db06ac607bf834af3a3db57e2aa7e3188a616 | |
| 26,28c27,28 | |
| < package-id text-1.2.4.0-6b49d30a5c2058a6ce635ee0957dac268405c5b1a440b6f833f1af35d5b14adf | |
| < package-id random-1.1-d58f2af85a866acda477078b8a9d26a37de5888cc5dbf71ccbcffe549e18c131 | |
| < package-id random-shuffle-0.0.4-76f32355bebd409c9648655de340a9069dd9e2d9075c59128d8b2f05e799534b | |
| --- | |
| > package-id text-1.2.4.0-0ae9589da71acf828c978158669404b2f548ca0eec919ba856dcebde7de2b877 |