BUILDKIT_PROGRESS=plain docker image build . -t ghc-javascript:2024-10-10
$ docker run -v`pwd`:`pwd` -w`pwd` --rm ghc-javascript:2024-10-10 ghcjs HelloJS.hs
[1 of 2] Compiling Main ( HelloJS.hs, HelloJS.o )
[2 of 2] Linking HelloJS.jsexe
| #!/usr/bin/env hell | |
| -- How to run this: | |
| -- | |
| -- socat TCP-LISTEN:8081,fork,reuseaddr,max-children=20 EXEC:"./handler.hell" | |
| main = do | |
| line <- Text.getLine | |
| let content = | |
| Text.concat ["<h1>Hello, World!</h1><p>This is generated by Hell.</p><pre>", line, "</pre>"] |
23-09-28 20:13:14.751 $ nix shell https://gitlab.haskell.org/ghc/ghc-wasm-meta/-/archive/master/ghc-wasm-meta-master.tar.gz --extra-experimental-features nix-command --extra-experimental-features flakes
error: flake 'https://gitlab.haskell.org/ghc/ghc-wasm-meta/-/archive/master/ghc-wasm-meta-master.tar.gz' does not provide attribute 'packages.x86_64-linux.defaultPackage.x86_64-linux', 'legacyPackages.x86_64-linux.defaultPackage.x86_64-linux' or 'defaultPackage.x86_64-linux'
| (defun shoe-write-script (script) | |
| "Write SCRIPT to the proper place." | |
| (let* ((script-dir (shoe-script-dir script)) | |
| (script-path (shoe-script-file-path "/" script-dir))) | |
| (with-temp-file script-path (insert script)))) | |
| (defun shoe-script-file-path (script &optional dir) | |
| "Produce the file path for SCRIPT." | |
| (concat (or dir (shoe-script-dir script)) | |
| "/" |
| {- | |
| Examples: | |
| > reify @Int $ eval $ A (reflect (abs :: Int -> Int)) (I (-9)) | |
| 9 | |
| > reify @Int $ eval $ A (A (reflect ((*) :: Int -> Int -> Int)) (reflect @Int 3)) (reflect @Int 5) | |
| 15 |
| FROM ubuntu:20.04 | |
| RUN apt-get update -y | |
| RUN apt-get install -y python pip | |
| COPY . /home/chris/Work/alphacephei/vosk-server | |
| WORKDIR /home/chris/Work/alphacephei/vosk-server | |
| RUN pip install -r requirements.txt && pip3 install sounddevice | |
| RUN apt-get install -y libportaudio2 |
| import System.Posix.Signals | |
| main = do | |
| mainId <- RIO.myThreadId | |
| _ <- | |
| installHandler | |
| softwareTermination | |
| (CatchOnce | |
| (do S8.putStrLn "Received SIGTERM. Killing main thread." | |
| killThread mainId)) |
| -- | Load a renamed cell. | |
| resolveRenamedCell :: | |
| Map Hash (Either LoadError LoadedExpression) | |
| -> FillerEnv LoadError | |
| -> IsRenamed (Expression Renamed) | |
| -> RIO DocumentReader (Either LoadError (IsResolved (Expression Resolved))) | |
| resolveRenamedCell globalTypes globalHashes isRenamed = do | |
| hasConstraints <- | |
| pure $ | |
| first LoadGenerateError $ |
| fineGrained :: Spec | |
| fineGrained = do | |
| describe | |
| "Successful" | |
| (do it "a ~ a" (shouldReturn (unifyConstraints' [a .~ a]) (pure [])) | |
| it | |
| "Integer ~ Integer" | |
| (shouldReturn (unifyConstraints' [_Integer .~ _Integer]) (pure [])) | |
| it | |
| "a ~ b" |
| 22-03-21 13:32:52.939 $ cat /opt/hindent-ormolu | |
| #!/bin/bash | |
| /opt/ormolu-0.1.4.1 \ | |
| "--ghc-opt" "-XBangPatterns" \ | |
| "--ghc-opt" "-XNumericUnderscores" \ | |
| "--ghc-opt" "-XOverloadedLabels" \ | |
| "--ghc-opt" "-XPatternSynonyms" \ | |
| "--ghc-opt" "-XTypeApplications" \ | |
| "--mode" "stdout" |