archaeron

[Glutin] Could not create headless context NoAvailablePixelFormat
[Glutin] OpenGL Headless Context: ContextBuilder { gl_attr: GlAttributes { sharing: None, version: Latest, profile: None, debug: true, robustness: TryRobustNoResetNotification, vsync: false }, pf_reqs: PixelFormatRequirements { hardware_accelerated: Some(true), color_bits: Some(24), float_color_buffer: false, alpha_bits: Some(8), depth_bits: Some(8), stencil_bits: Some(8), double_buffer: Some(true), multisampling: None, stereoscopy: false, srgb: true, release_behavior: Flush, x11_visual_xid: None } }
[Glutin] Primary monitor: MonitorHandle { inner: Wayland(MonitorHandle { name: Some("0x313d (AUO)"), native_identifier: 37, size: PhysicalSize { width: 1920, height: 1080 }, position: PhysicalPosition { x: 0, y: 0 }, scale_factor: 1 }) }
[Glutin] Could not create headless context NoAvailablePixelFormat
[Glutin] OpenGL Headless Context: ContextBuilder { gl_attr: GlAttributes { sharing: None, version: Latest, profile: None, debug: true, robustness: T

archaeron

name of display: :0
display: :0  screen: 0
direct rendering: Yes
server glx vendor string: SGI
server glx version string: 1.4
server glx extensions:
    GLX_ARB_context_flush_control, GLX_ARB_create_context, 
    GLX_ARB_create_context_no_error, GLX_ARB_create_context_profile, 
    GLX_ARB_fbconfig_float, GLX_ARB_framebuffer_sRGB, GLX_ARB_multisample, 
    GLX_EXT_create_context_es2_profile, GLX_EXT_create_context_es_profile, 

archaeron

apt install clang python-dev libzmq-dev libcrypt-dev
pip install pyzmq
pip install jupyter

archaeron

> nix run nixpkgs.vagrant nixpkgs.virtualbox                                              0 < 15:28:02
> ./scripts/vagrant.sh

+++ dirname ./scripts/vagrant.sh
++ cd ./scripts
++ pwd
+ DIR=/home/nico/Documents/stack2nix/scripts
+ cd /home/nico/Documents/stack2nix/scripts/..
+ vagrant up
Bringing machine 'default' up with 'virtualbox' provider...

archaeron

1. stack2nix . > nix/stack.nix
2. nix-shell default.nix -A api

archaeron

with import <nixpkgs> {};

let
  ocamlPackages = pkgs.recurseIntoAttrs pkgs.ocamlPackages_4_03;
  ocamlVersion = (builtins.parseDrvName ocamlPackages.ocaml.name).version;
  findlibSiteLib = "${ocamlPackages.findlib}/lib/ocaml/${ocamlVersion}/site-lib";
  ocamlInit = pkgs.writeText "ocamlinit" ''
    let () =
      try Topdirs.dir_directory "${findlibSiteLib}"
      with Not_found -> ()

archaeron

Keybase proof

I hereby claim:

• I am archaeron on github.
• I am archaeron (https://keybase.io/archaeron) on keybase.
• I have a public key ASCMJritEyCIwn247mMKQGggmI1uINWwo7qI8QMYtHCFUgo

To claim this, I am signing this object:

archaeron

((((:filename ".\\Highlight\\Main.idr") (:start 1 8) (:end 1 22)) ((:namespace "Highlight.Main") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Main.idr"))) (((:filename ".\\Highlight\\Parser.idr") (:start 1 8) (:end 1 24)) ((:namespace "Highlight.Parser") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Parser.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Formats.idr") (:start 1 8) (:end 1 25)) ((:

archaeron

module Test

a : (String -> Either String String) -> String
a b =
	case b of
		Left err => err
		Right v => v

archaeron

module Main

import Data.Vect

main : IO ()
main = putStrLn "Hello world\n\o44\5\xa4"

zipWithF : (a -> b -> c) -> List a -> List b -> List c
zipWithF f xs ys = ?zipWithF_rhs_2