Skip to content

Instantly share code, notes, and snippets.

GHC + Cosmopolitain

Cf https://x.com/4ngerman/status/1842858115881935227

Build

./configure CC=/home/hsyl20/cosmocc/bin/x86_64-unknown-cosmo-cc LD=/home/hsyl20/cosmocc/bin/x86_64-linux-cosmo-ld CXX=/home/hsyl20/cosmocc/bin/x86_64-unknown-cosmo-c++
> ./hadrian/build-stack -c -j --flavour=quick test --only=package08e
[...]
--- "/tmp/ghctest-2jazcfzv/test spaces/testsuite/tests/package/package08e.run/package08e.stderr.normalised" 2020-04-30 17:00:20.518628015 +0200
+++ "/tmp/ghctest-2jazcfzv/test spaces/testsuite/tests/package/package08e.run/package08e.comp.stderr.normalised" 2020-04-30 17:00:20.518628015 +0200
@@ -3,6 +3,7 @@
Could not find module ‘GHC.Hs.MyTypes’
Perhaps you meant
GHC.Hs.Types (needs flag -package-key ghc-<VERSION>)
+ GHC.Hs.Types (needs flag -package-key ghc-<VERSION>)
GHC.Tc.Types (needs flag -package-key ghc-<VERSION>)
@hsyl20
hsyl20 / ghc_gitlab.user.js
Created January 14, 2019 16:16
Add some buttons to Gitlab instance of GHC
// ==UserScript==
// @name Gitlab discussion helper
// @version 1
// @grant none
// @description This script let you toggle all discussions in Gitlab
// @include https://gitlab.haskell.org/*
// @run-at document-idle
// @require https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js
// ==/UserScript==