Skip to content

Commit

Permalink
build for hls
Browse files Browse the repository at this point in the history
  • Loading branch information
@deemp
deemp authored Aug 15, 2022
1 parent 460e6a5 commit 725a877
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,8 @@ It is combined with [EO](https://github.com/objectionary/eo) editor. EO is based
cd back
# for the first time
direnv allow
# build for HLS
nix build
# start the server
nix run
```
Expand All @@ -59,4 +61,4 @@ It is combined with [EO](https://github.com/objectionary/eo) editor. EO is based
- If in VS Code, reload the window (`Ctrl`+`Shift`+`P` -> `Developer: Reload window`) and repeat previous commands to start the server and the client

- For Haskell, your shell will have [haskell-language-server](https://github.com/haskell/haskell-language-server)
- For Purescript - [purescript-language-server](https://github.com/nwolverson/purescript-language-server)
- For Purescript - [purescript-language-server](https://github.com/nwolverson/purescript-language-server)

1 comment on commit 725a877

@0pdd
Copy link

@0pdd 0pdd commented on 725a877 Aug 15, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wasn't able to retrieve PDD puzzles from the code base and submit them to github. If you think that it's a bug on our side, please submit it to yegor256/0pdd:

set -x && set -e && set -o pipefail && cd /tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0 && pdd -v -f /tmp/20220815-746-adna4q [1]: + set -e + set -o pipefail + cd /tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0 + pdd -v -f...

Please, copy and paste this stack trace to GitHub:

UserError
set -x && set -e && set -o pipefail && cd /tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0 && pdd -v -f /tmp/20220815-746-adna4q [1]:
+ set -e
+ set -o pipefail
+ cd /tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0
+ pdd -v -f /tmp/20220815-746-adna4q

My version is 0.21.3
Ruby version is 2.7.5 at x86_64-linux
Reading from root dir /tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/.vscode/settings.json is a binary file (73 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/package.json is a binary file (824 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/flake.lock is a binary file (15294 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/back/.gitmodules is a binary file (0 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/back/flake.lock is a binary file (12000 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/front/package.json is a binary file (990 bytes)
/tmp/0pdd20220815-14-1seanqf/Z2l0QGdpdGh1Yi5jb206b2JqZWN0aW9uYXJ5L3RyeS1waGkuZ2l0/front/flake.lock is a binary file (1546 bytes)
Reading .vscode/tasks.json ...
Reading .vscode/try-phi.code-workspace ...
Reading .gitignore ...
Reading README.md ...
Reading .github/workflows/back.yml ...
Reading .github/workflows/front.yml ...
Reading build.sh ...
Reading back/.ghcid ...
Reading back/LICENSE ...
Reading back/hie.yaml ...
Reading back/language-utils/.ghcid ...
Reading back/language-utils/language-utils.cabal ...
Reading back/language-utils/.gitignore ...
Reading back/language-utils/README.md ...
Reading back/language-utils/app/Main.hs ...
Reading back/language-utils/phi-utils/_stack.yaml.lock ...
Reading back/language-utils/phi-utils/.ghcid ...
Reading back/language-utils/phi-utils/LICENSE ...
Reading back/language-utils/phi-utils/.gitignore ...
Reading back/language-utils/phi-utils/README.md ...
Reading back/language-utils/phi-utils/phi-utils.cabal ...
Reading back/language-utils/phi-utils/app/Main.hs ...
Reading back/language-utils/phi-utils/.ghci ...
Reading back/language-utils/phi-utils/stack.yaml ...
Reading back/language-utils/phi-utils/_hie.yaml ...
Reading back/language-utils/phi-utils/Setup.hs ...
Reading back/language-utils/phi-utils/src/Lambda/Pretty.hs ...
Reading back/language-utils/phi-utils/src/Lambda/Model.hs ...
Reading back/language-utils/phi-utils/src/Phi/Utils/GraphBuilder.hs ...
Reading back/language-utils/phi-utils/src/Phi/Minimal/Print.hs ...
Reading back/language-utils/phi-utils/src/Phi/Minimal/Examples.hs ...
Reading back/language-utils/phi-utils/src/Phi/Minimal/PPToLatex.hs ...
ERROR: back/language-utils/phi-utils/src/Phi/Minimal/PPToLatex.hs; PDD::Error at back/language-utils/phi-utils/src/Phi/Minimal/PPToLatex.hs:150: TODO found, but puzzle can't be parsed, most probably because TODO is not followed by a puzzle marker, as this page explains: https://github.com/cqfn/pdd#how-to-format
If you can't understand the cause of this issue or you don't know how to fix it, please submit a GitHub issue, we will try to help you: https://github.com/cqfn/pdd/issues. This tool is still in its beta version and we will appreciate your feedback. Here is where you can find more documentation: https://github.com/cqfn/pdd/blob/master/README.md.
Exit code is 1

/app/objects/git_repo.rb:73:in `rescue in block in xml'
/app/objects/git_repo.rb:70:in `block in xml'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/tempfile.rb:291:in `open'
/app/objects/git_repo.rb:69:in `xml'
/app/objects/puzzles.rb:41:in `deploy'
/app/objects/jobs/job.rb:38:in `proceed'
/app/objects/jobs/job_starred.rb:32:in `proceed'
/app/objects/jobs/job_recorded.rb:31:in `proceed'
/app/objects/jobs/job_emailed.rb:33:in `proceed'
/app/objects/jobs/job_commiterrors.rb:33:in `proceed'
/app/objects/jobs/job_detached.rb:48:in `exclusive'
/app/objects/jobs/job_detached.rb:36:in `block in proceed'
/app/objects/jobs/job_detached.rb:36:in `fork'
/app/objects/jobs/job_detached.rb:36:in `proceed'
/app/0pdd.rb:519:in `process_request'
/app/0pdd.rb:356:in `block in <top (required)>'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1686:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1686:in `block in compile!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1023:in `block (3 levels) in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1042:in `route_eval'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1023:in `block (2 levels) in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1071:in `block in process_route'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1069:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1069:in `process_route'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1021:in `block in route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1018:in `each'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1018:in `route!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1140:in `block in dispatch!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `block in invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1135:in `dispatch!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:949:in `block in call!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `block in invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `catch'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1112:in `invoke'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:949:in `call!'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:938:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/xss_header.rb:18:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/path_traversal.rb:16:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/json_csrf.rb:26:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/base.rb:50:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/base.rb:50:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-protection-2.2.2/lib/rack/protection/frame_options.rb:31:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/logger.rb:17:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/common_logger.rb:38:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:255:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:248:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/head.rb:12:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/method_override.rb:24:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:218:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1993:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1553:in `block in call'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1769:in `synchronize'
/app/vendor/bundle/ruby/2.7.0/gems/sinatra-2.2.2/lib/sinatra/base.rb:1553:in `call'
/app/vendor/bundle/ruby/2.7.0/gems/rack-2.2.4/lib/rack/handler/webrick.rb:95:in `service'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/httpserver.rb:140:in `service'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/httpserver.rb:96:in `run'
/app/vendor/ruby-2.7.5/lib/ruby/2.7.0/webrick/server.rb:307:in `block in start_thread'

Please sign in to comment.