Skip to content

Commit

Permalink
Merge pull request compiling-to-categories#116 from con-kitty/add-had…
Browse files Browse the repository at this point in the history
…dock

Add (and fix) generated docs
  • Loading branch information
sellout authored Jan 28, 2024
2 parents 474d300 + af8bf94 commit 248db06
Show file tree
Hide file tree
Showing 3 changed files with 51 additions and 1 deletion.
47 changes: 47 additions & 0 deletions .github/workflows/pages.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
concurrency:
cancel-in-progress: false
group: pages
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Pages
uses: actions/configure-pages@v4
- uses: cachix/install-nix-action@v23
with:
extra_nix_config: |
extra-trusted-public-keys = cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g=
extra-substituters = https://cache.garnix.io
- uses: lriesebos/nix-develop-command@v1
with:
command: |
cabal haddock-project \
--haddock-option='--base-url=.' \
--haddock-option='--use-contents=../index.html' \
--haddock-option='--use-index=../doc-index.html' \
--local \
--output=_site
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
deploy:
environment:
name: github-pages
url: "${{ steps.deployment.outputs.page_url }}"
needs: build
runs-on: ubuntu-latest
steps:
- id: deployment
name: Deploy to GitHub Pages
uses: actions/deploy-pages@v4
name: Deploy generated docs to Pages
'on':
push:
branches:
- master
workflow_dispatch:
permissions:
contents: read
id-token: write
pages: write
1 change: 0 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
.*
!.travis*
*.stackwork
*out/
Expand Down
4 changes: 4 additions & 0 deletions inline/src/ConCat/Inline/SampleMethods.hs
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
{-# LANGUAGE CPP #-}
{-# OPTIONS_GHC -Wall #-}
-- {-# OPTIONS_GHC -Wno-unused-imports #-} -- TEMP

Expand All @@ -10,7 +11,10 @@
-- {-# OPTIONS_GHC -ddump-rule-rewrites #-}
-- {-# OPTIONS_GHC -ddump-rules #-}

-- Haddock throws an exception if this plugin is enabled here.
#ifdef D__HADDOCK_VERSION__
{-# OPTIONS_GHC -fplugin=ConCat.Inline.Plugin #-}
#endif

module ConCat.Inline.SampleMethods where

Expand Down

0 comments on commit 248db06

Please sign in to comment.