msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
7,475 Commits 21 Branches 11 Tags
7d6a115cc136919f45b7e3435dcdfc1824eea3c8
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
John J. Camilleri deddde953f Add script for uploading PGF2 documentation to Hackage 
Hackage's attempt to build the package will fail because of missing C libraries
 2020-08-03 14:22:32 +02:00
John J. Camilleri c53353f087 Updates to PGF2 readme 2020-07-28 22:54:34 +02:00
John J. Camilleri f00f0cb0ef Bump pgf2 to 1.2.0 2020-07-28 22:36:49 +02:00
John J. Camilleri 22d5f31d74 Merge remote-tracking branch 'origin/master' into pgf2-hackage 2020-07-28 22:19:15 +02:00
John J. Camilleri 38f468eed3 (pgf2) Readme, license, changelog 2020-07-11 21:06:08 +02:00
John J. Camilleri 88a73c1d9e Bump pgf2 to 1.1.0, update README 2020-07-11 20:00:25 +02:00
John J. Camilleri f54e54123c Merge remote-tracking branch 'origin/master' into pgf2-hackage 
# Conflicts:
#	src/runtime/haskell-bind/pgf2.cabal
 2020-07-08 22:07:08 +02:00
John J. Camilleri 2ac796dbbc Remove PGF from PGF2, clean up PGF2 cabal file. 2020-07-08 21:55:42 +02:00
John J. Camilleri 4594c36cfb Copy packages so that upload-artifact can find them 2020-06-30 11:41:12 +02:00
John J. Camilleri d8e88fd42a Try alternate way for uploading artifact 2020-06-30 11:25:24 +02:00
John J. Camilleri daa2145378 Try alternate way of cloning RGL one level up 2020-06-30 11:12:10 +02:00
John J. Camilleri 398c64734c Add txt2tags and pandoc to build env 2020-06-30 10:17:34 +02:00
John J. Camilleri eb185e5358 Add sudo to apt command 
https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners#administrative-privileges-of-github-hosted-runners
 2020-06-30 10:14:35 +02:00
John J. Camilleri bb4ad9ec7f First attempt at GitHub action for building Debian package 2020-06-30 10:10:36 +02:00
John J. Camilleri 5777b85701 Merge pull request #62 from GrammaticalFramework/python-bindings-description 
Update descriptions in Python bindings setup.py
 2020-06-23 10:42:00 +02:00
John J. Camilleri ab3c6ec4eb Update descriptions in Python bindings setup.py 2020-06-17 11:36:31 +02:00
John J. Camilleri 63a3a57620 Remove duplicate --gfo flag 
Fixes #51
 2020-06-16 14:59:14 +02:00
John J. Camilleri fff19f31af Add friendly name to upload job 2020-06-15 12:53:19 +02:00
John J. Camilleri c47f2232c5 Merge pull request #61 from miracle2k/wheels2 
Fix twine upload.
 2020-06-15 12:38:56 +02:00
John J. Camilleri 383ff5e227 Merge pull request #60 from miracle2k/wheels 
WIP: Add Github action workflow to build Python wheels.
 2020-06-15 08:59:40 +02:00
John J. Camilleri 5846622c4d Homepage: fix some spacing, add RGL browser, add news about GFSS 2020 2020-06-01 11:18:06 +02:00
John J. Camilleri d8e543a4e6 Add link to Inari's video tutorial from homepage 2020-06-01 09:44:38 +02:00
John J. Camilleri 724bf67295 Update Stack files after testing with Stack v2 
- Also bump up some minor GHC versions (8.4.3 -> 8.4.4, 8.6.2 -> 8.6.5)
- Should still work with Stack < v2 (tested in docker/haskell:8.2.2)
 2019-08-28 10:57:21 +02:00
John J. Camilleri 85f12a5544 Remove wrong Haddock comment in PGF2 
Clearly just a copy-paste error
 2019-08-07 12:52:17 +02:00
John J. Camilleri 12079550f8 Remove TypeScript runtime and point to new repository 
https://github.com/GrammaticalFramework/gf-typescript
 2019-07-11 09:29:49 +02:00
John J. Camilleri 1ceb8c0342 Merge pull request #45 from GrammaticalFramework/pgf2json 
Add export to PGF JSON format
 2019-07-10 19:32:49 +02:00
John J. Camilleri eab9fb88aa Minor renamings in JSON format 2019-07-10 08:49:00 +02:00
John J. Camilleri acd4a5e8cd Address @heatherleaf's suggestions 2019-07-10 08:45:23 +02:00
John J. Camilleri a4b1fb03aa Whitespace fixes 2019-07-07 17:38:07 +02:00
John J. Camilleri cb88b56016 Finish compile to PGF JSON, including JSON schema for resulting format. 2019-07-07 17:35:31 +02:00
John J. Camilleri ecf9b41db0 Finish JSON conversion for abstract 2019-07-03 16:34:07 +02:00
John J. Camilleri c5a75c482c Start work on PGFtoJSON module. Add compiler flag -f json. 2019-07-03 15:07:31 +02:00
John J. Camilleri 17e3f753fb gflib.ts: put warning on console when function undefined 2019-06-13 14:43:21 +02:00
John J. Camilleri 498ad572ac gflib.ts: fix in annotation when type is unknown 2019-06-13 14:12:53 +02:00
John J. Camilleri bc61f8c191 gflib.ts: generate source map, which is helpful for debugging 2019-06-13 13:53:58 +02:00
John J. Camilleri d252cfd610 gflib.ts: handled unimplemented functions during linearisation 2019-06-13 10:31:49 +02:00
John J. Camilleri 46a1bdc7ea gflib.ts: also accept U+00C0-U+00FF (\192-\255) in idents in parseTree 
Matches definition in src/compiler/GF/Grammar/Lexer.x
 2019-06-12 15:28:25 +02:00
John J. Camilleri 18d0e1fad0 gflb.ts: add comments about startsWith polyfill, making into module 2019-06-12 09:51:27 +02:00
John J. Camilleri ab94e93b94 Avoid modifying String prototype in TypeScript runtime 
Adds new class TaggedString
 2019-06-10 11:39:31 +02:00
John J. Camilleri a229507392 Use strict mode in TypeScript, catch some more corner cases 2019-06-10 11:14:14 +02:00
John J. Camilleri 6a9c917b29 TypeScript readme 2019-06-10 10:19:43 +02:00
John J. Camilleri 9ba4a42426 Add generated gflib.js under typescript/js. Add deprecation notice in javascript. 2019-06-10 10:15:03 +02:00
John J. Camilleri bbd1c9147a Catch for when rules are undefined 2019-06-10 09:48:44 +02:00
John J. Camilleri 4793d376d9 Create copies when tagging 
Not sure if this behaviour is identical to previous version,
or in truth how important it really is anyway
 2019-06-10 09:45:04 +02:00
John J. Camilleri 63606fd2d0 Minor indentation fixes in gflib.js 
Despite it being deprecated 🙈
 2019-06-10 09:29:43 +02:00
John J. Camilleri d6a1e87f4a Support for pre in gflib.ts. Some type annotation fixes. 2019-06-07 21:17:41 +02:00
John J. Camilleri ffcdaa921f Porting of JS runtime to TypeScript (gflib.ts) complete 2019-06-07 13:58:23 +02:00
John J. Camilleri f2e03bfc51 Remove type definitions gflib.d.ts which contained many errors and now obsolete 2019-06-07 10:07:23 +02:00
John J. Camilleri c89656f3ee More type fixes in gflib.ts after setting noImplicitAny 2019-06-07 10:06:19 +02:00
John J. Camilleri c9b4318e9e Clean up whitespace in [old] gflib.js 2019-06-07 09:34:13 +02:00
John J. Camilleri 1e43e7be4b Fix all type errs in gflib.ts except tagging ones. Add TS/eslint configs. 
gflib.js required changing the String prototype which I'm not sure I want to do here
 2019-06-07 09:33:24 +02:00
John J. Camilleri 44261b7582 More progress on gflib.ts 
All code has been copied from gflib.js but there are many type errors
yet to be resolved
 2019-06-05 10:23:27 +02:00
John J. Camilleri b980bce334 Add gflib.ts, a port of JS runtime gflib.js into TypeScript (WIP) 2019-06-04 15:16:17 +02:00
John J. Camilleri bd7753db1a Update TypeScript definitions for gflib.js 
Still not 100% tested: best solution will really be to rewrite
gflib.js in TypeScript and at the same time use ES modules
 2019-05-29 14:43:28 +02:00
John J. Camilleri 7a3efdfeb9 Update link to RGL tutorial (now HTML version) 2019-05-20 10:36:35 +02:00
John J. Camilleri af62a99bf5 update_html rewrites anchors which Pandoc 1.16 doesn't process 
See #43
 2019-05-06 08:45:07 +02:00
John J. Camilleri f32d222e71 Update links to Haskell docs on homepage 2019-01-10 08:58:34 +01:00
John J. Camilleri a7b10ea936 Change refs from RGL's Make.* to Setup.* in dev guide 2018-12-22 13:59:32 +01:00
John J. Camilleri 4bda53acb7 Update PGF API link to point to 3.9, as 3.10 has no docs on Hackage 2018-12-18 22:14:32 +01:00
John J. Camilleri 083aa96e57 TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0 
The use of $toc$ and $table-of-contents$ flags changed, see:
https://pandoc.org/releases.html#pandoc-2.0-29-oct-2017
under "Behaviour changes"
 2018-12-10 14:25:44 +01:00
John J. Camilleri d82a53ebc6 Replace gf-refman.html with Markdown version gf-refman.md 
The raw HTML was invalid, and this way we use the common website template
for a uniform look without any duplication.

It seems gf-refman.html was once generated from txt2tags, although I have
been unable to find this original .t2t file.
I also tried to re-generate txt2tags from HTML but was not able to.
However I was able to convert HTML to Markdown using Pandoc and I think
the result is pretty good, so I think we should use this.

The original gf-refman.html can be obtained from git history, e.g.:
https://github.com/GrammaticalFramework/gf-core/blob/a7e43d872f5e612f93131f2d8caf811fbee9aa83/doc/gf-refman.html
 2018-12-09 20:38:02 +01:00
John J. Camilleri 5006b520d1 Area under footer is all gray even on short pages 2018-12-08 14:29:43 +01:00
John J. Camilleri f78dfe80a2 Update doc/index page 2018-12-08 14:29:02 +01:00
John J. Camilleri 44ac326da0 Regnerate HTML if template changes 2018-12-08 13:57:04 +01:00
John J. Camilleri a8b23d52a8 Fix some invalid HTML. 2018-12-08 13:47:27 +01:00
John J. Camilleri d880a61857 Add some documentation to update_html 2018-12-06 13:47:50 +01:00
John J. Camilleri 7bd086ba19 Case-insensitve sed replacements handled the dumb way 
Because BSD sed != GNU sed
 2018-12-06 10:18:31 +01:00
John J. Camilleri ff0fe0a6c5 Add reference to DG in homepage footer. Spacing in top links. 2018-12-06 09:30:49 +01:00
John J. Camilleri ef4df27d1b Add link to open #gf in web chat 2018-12-06 09:13:52 +01:00
John J. Camilleri e9e2bd6b89 Fix linking to chapters in gf-tutorial; Remove reference to Htmls. 2018-12-06 09:00:44 +01:00
John J. Camilleri 72a9eb0c8a Another fake change to trigger rebuild of gf-tutorial 2018-12-05 18:14:17 +01:00
John J. Camilleri b73f033b08 Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc 2018-12-05 16:11:33 +01:00
John J. Camilleri b974c09951 Update runtime-api.html to match the new visual look of the GF website 2018-12-05 15:48:07 +01:00
John J. Camilleri 159b6ee331 Fake change to trigger rebuild of gf-tutorial 2018-12-05 11:41:41 +01:00
John J. Camilleri 3dec78c21c Clarifications on download page: binary packages include RGL 2018-12-05 08:30:25 +01:00
John J. Camilleri 6ad9bf3dbf Add Stack files for different GHC versions 2018-12-04 10:32:26 +01:00
John J. Camilleri ee5ac81dfc Make GF compile with GHC 8.6.2 
- Re-implement `Distribution.Simple.BuildPaths.exeExtension`
- Turn off `MonadFailDesugaring`

Tested with GHC:

- 7.10.3
- 8.0.2
- 8.2.2
- 8.4.3
- 8.6.2

Yay Stack!
 2018-12-04 10:31:53 +01:00
John J. Camilleri b509d08cbf Add Travis build images to release notes 2018-12-03 15:47:45 +01:00
John J. Camilleri fd0ee2756a Indent nested lists in Markdown by 4 spaces instead of 2 2018-12-03 15:44:44 +01:00
John J. Camilleri 34e89ac710 Put GF logo on the right again 2018-12-03 15:27:55 +01:00
John J. Camilleri 331d73b566 Update release notes RGL section (not much) 2018-12-03 15:25:05 +01:00
John J. Camilleri 8d460ac402 Update 3.10 release notes after going through all gf-core commits since 2017-08-11 2018-12-03 15:04:21 +01:00
John J. Camilleri 5546c6d6da Update clean_html to handle markdown sources too 2018-12-03 10:49:37 +01:00
John J. Camilleri c380288db8 Put floating logo on left 2018-12-03 10:49:15 +01:00
John J. Camilleri 5c518de0f2 Updates to download page for 3.10 2018-12-01 19:52:33 +01:00
John J. Camilleri 01f61c526f Custom CSS comes after libraries; add include-before/after (not actively used) 2018-11-29 13:06:52 +01:00
John J. Camilleri 538fe5bddb Don't wrap dates on hompage 2018-11-29 13:00:26 +01:00
John J. Camilleri f4052c8a5e Add basic favicon.ico 2018-11-29 10:46:33 +01:00
John J. Camilleri e0a3b0030e Remove some t2t frontmatter from shell-reference, to trigger update 2018-11-29 10:45:54 +01:00
John J. Camilleri b30456aa0c Rename _template.html to template.html 2018-11-29 10:35:43 +01:00
John J. Camilleri 61c58316ea Remove overflow-x:scroll from title 2018-11-29 10:16:32 +01:00
John J. Camilleri 001d036a2c Remove t2t frontmatter from gf-editor-modes 
Trying to force a rebuild
 2018-11-29 09:55:28 +01:00
John J. Camilleri 83abaa9b44 Put 3.9 page instead of 3.10 until release is final 2018-11-28 15:52:20 +01:00
John J. Camilleri c7a14537c1 Update top links and footer during hackathon 2018-11-28 15:42:11 +01:00
John J. Camilleri 6352799ccb Merge branch 'master' into new-website 
# Conflicts:
#	index.html
 2018-11-28 14:47:20 +01:00
John J. Camilleri a45c735545 Update LICENSE 2018-11-28 14:40:36 +01:00
John J. Camilleri 9b28d21b0a Remove Htmls.hs 2018-11-28 13:48:40 +01:00
John J. Camilleri 507236fdcd remove gf-server.cabal 2018-11-28 13:40:16 +01:00
John J. Camilleri 397f18a298 remove custom-binary flag; update Cabal version restriction; bump version to 3.10 2018-11-28 13:36:11 +01:00
John J. Camilleri 735f5ff76f Remove src/ui folder, moved to: 
https://github.com/GrammaticalFramework/gf-offline-translator
 2018-11-15 10:33:31 +01:00