type | name | default | problem |
---|---|---|---|
Opt_WarnDuplicateExports | duplicate-exports | on | |
Opt_WarnOverflowedLiterals | overflowed-literals | on | |
Opt_WarnEmptyEnumerations | empty-enumerations | on | |
Opt_WarnMissingFields | missing-fields | on | |
Opt_WarnMissingMethods | missing-methods | on | |
Opt_WarnOverlappingPatterns | overlapping-patterns | on |
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
#include <time.h> // Robert Nystrom | |
#include <stdio.h> // @munificentbob | |
#include <stdlib.h> // for Ginny | |
#define r return // 2008-2019 | |
#define l(a, b, c, d) for (i y=a;y\ | |
<b; y++) for (int x = c; x < d; x++) | |
typedef int i;const i H=40;const i W | |
=80;i m[40][80];i g(i x){r rand()%x; | |
}void cave(i s){i w=g(10)+5;i h=g(6) | |
+3;i t=g(W-w-2)+1;i u=g(H-h-2)+1;l(u |
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
// ==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== |
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 CPP #-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE ExistentialQuantification #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE IncoherentInstances #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE RoleAnnotations #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeOperators #-} |
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
server = Server.make_dispatch(Server.Filter.path(["app1"]), | |
| {~path ...} -> Resource.html("Test", <>This is application 1, with path {List.to_string(path)}</>) | |
) | |
server = Server.make_dispatch(Server.Filter.path(["app2"]), | |
| {~path ...} -> Resource.html("Test", <>This is application 2, with path {List.to_string(path)}</>) | |
) | |
server = Server.simple_dispatch( | |
| {~path ...} -> Resource.html("Test", <>No application, this is {List.to_string(path)}</>) |
NewerOlder