summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2020-11-09Change cabal version to 2.4, to match GHC 8.6.5John J. Camilleri
2020-11-09Fix whitespace in binary build scriptJohn J. Camilleri
2020-11-09Comment cabal freeze and caching in case it was causing build error belowJohn J. Camilleri
https://github.com/GrammaticalFramework/gf-core/runs/1374091798?check_suite_focus=true
2020-11-09Install Haskell via setup-haskell action, install build tools for C runtimeJohn J. Camilleri
2020-11-09Try to install GHC/Cabal via HomebrewJohn J. Camilleri
2020-11-09Add first attempt at GitHub action file for building .pkgJohn J. Camilleri
2020-10-27Merge pull request #79 from anka-213/fix-infinite-loopInari Listenmaa
Fix infinite recursion on error
2020-10-26Fix infinite recursion on errorAndreas Källberg
The implementation was meant to lift from SIO to IO, but instead it was just the identity function, which means that `fail = id . fail` and we have an infinite loop.
2020-10-09Merge pull request #78 from anka-213/solve-syntax-error-bugJohn J. Camilleri
Fix syntax error problem for older versions of GHC
2020-10-08Make CI greenAndreas Källberg
See https://github.com/joerick/cibuildwheel/issues/446
2020-10-08Fix syntax error problem for older versions of GHCAndreas Källberg
2020-10-02Merge pull request #77 from inariksit/tutorial-fixesInari Listenmaa
Minor tweaks and updates to the tutorial
2020-10-02Merge branch 'master' of https://github.com/GrammaticalFramework/gf-corekrangelov
2020-10-02fix parsing with HOASkrangelov
2020-10-02(Tutorial) Rename TV (transitive verb) to V2, the name used in RGLInari Listenmaa
2020-10-02(Tutorial) Remove reference to morpho_list + overly verbose pathInari Listenmaa
2020-10-02(Tutorial) Update the pre syntaxInari Listenmaa
2020-09-29(Tutorial) Remove mentions to pt -typecheckInari Listenmaa
The GF shell no longer has `put_tree -typecheck` option, and typechecking is done automatically when parsing. The metavariable thing is a bit unclear: you don't get it when parsing "dim the light", or "switch on the fan, but you do get it when you `gt` after adding `switchOn` and `switchOff`. ``` > p "switch on the fan" CAction fan (switchOff fan) (DKindOne fan) > gt CAction light dim (DKindOne light) CAction ?3 (switchOff ?3) (DKindOne ?3) CAction ?3 (switchOn ?3) (DKindOne ?3) ``` My hypothesis is that you don't get metavariable when parsing e.g. "dim the light", because even though `light` is suppressed in `CAction`, it still appears in `DKindOne`, so it gets to contribute to the whole tree with its string.
2020-09-29link to CoLi paper, mention of iOSaarneranta
2020-09-18Add instructions for uploading PGF2 to HackageJohn J. Camilleri
2020-09-18Bump PGF2 to 1.2.1John J. Camilleri
2020-09-18Fix bug where shell commands were ignored, introduced by #71John J. Camilleri
2020-09-14Merge pull request #71 from anka-213/fix-newer-cabalJohn J. Camilleri
Fix support for newer stackage snapshots
2020-09-14Bump default stack.yaml to ghc8.6.5Andreas Källberg
2020-09-14Bump stackage snapshots to latest versionsAndreas Källberg
2020-09-12Remove MonadFail requirements for aeson codeAndreas Källberg
2020-09-12Fix incorrect type and update dependenciesAndreas Källberg
2020-09-12First attempt at github actions for stackAndreas Källberg
2020-09-09Import orphan instances of MonadFail for ghc<8Andreas Källberg
Also upgrade alex/happy so automatic install works
2020-09-08Add stack file for ghc8.8.4Andreas Källberg
2020-09-05Merge remote-tracking branch 'origin/master' into fix-newer-cabalAndreas Källberg
2020-09-05Add two more missing MonadFail importsAndreas Källberg
2020-09-05Fix wrong indentAndreas Källberg
2020-09-05Update package database on ubuntu buildAndreas Källberg
Fixes 404 error: https://github.com/GrammaticalFramework/gf-core/runs/1076062405
2020-09-05MonadFail: Make backwards-compatibleAndreas Källberg
2020-09-05Fix MonadFail for c-runtime as wellAndreas Källberg
2020-08-31(Tutorial) Minor typofixes + current error messageInari Listenmaa
2020-08-31Merge pull request #73 from inariksit/video-tutorial-pageInari Listenmaa
(Homepage) Change link of video tutorials to a page + small fixes
2020-08-30(Homepage) Change link of video tutorials to a page + small fixesInari Listenmaa
Also added video tutorial link to the footer.
2020-08-30Fix wording + formatting slightlyInari Listenmaa
2020-08-30Add a page for all GF video tutorialsInari Listenmaa
2020-08-21(Tutorial) Fix to make calculator example compileInari Listenmaa
In abstract: startcat needs to be defined to run the commands that are shown later in the doc. In concrete: ss and SS are defined in Prelude.
2020-08-19Add stack file for a more recent ghcAndreas Källberg
2020-08-14remove the deprecated pgf_print_expr_tuplekrangelov
2020-08-14Merge branch 'master' of https://github.com/GrammaticalFramework/gf-corekrangelov
2020-08-14added an API for cloning expressions/types/literalskrangelov
2020-08-11Merge pull request #70 from inariksit/haskellInari Listenmaa
New features in PGF to Haskell translation
2020-08-05Add cabal dist-newtyle to gitignoreAndreas Källberg
2020-08-05Remove NoMonadFailDesugaring flagAndreas Källberg
I've fixed so everything has the fail it needs now
2020-08-05Fix testsuite compatability with newer CabalAndreas Källberg
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-02 09:10:58 +0000