Skip to content

Commit

Permalink
Merge branch 'GrammaticalFramework:master' into master
Browse files Browse the repository at this point in the history
  • Loading branch information
joewatt95 authored Oct 4, 2023
2 parents d7a8728 + 7d9015e commit 2acf677
Show file tree
Hide file tree
Showing 5 changed files with 12 additions and 11 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/build-all-versions.yml
Original file line number Diff line number Diff line change
Expand Up @@ -95,8 +95,7 @@ jobs:
- name: Build
run: |
stack build --system-ghc --stack-yaml stack-ghc${{ matrix.ghc }}.yaml
# stack build --system-ghc --test --bench --no-run-tests --no-run-benchmarks
stack build --test --no-run-tests --system-ghc --stack-yaml stack-ghc${{ matrix.ghc }}.yaml
- name: Test
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/build-binary-packages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ jobs:
strategy:
matrix:
os:
- ubuntu-18.04
- ubuntu-20.04
- ubuntu-22.04

runs-on: ${{ matrix.os }}

Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/build-python-package.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,15 +13,15 @@ jobs:
strategy:
fail-fast: true
matrix:
os: [ubuntu-18.04, macos-10.15]
os: [ubuntu-latest, macos-latest]

steps:
- uses: actions/checkout@v1

- uses: actions/setup-python@v1
name: Install Python
with:
python-version: '3.7'
python-version: '3.x'

- name: Install cibuildwheel
run: |
Expand Down Expand Up @@ -59,7 +59,7 @@ jobs:
- uses: actions/setup-python@v2
name: Install Python
with:
python-version: '3.7'
python-version: '3.x'

- name: Build sdist
run: cd src/runtime/python && python setup.py sdist
Expand Down
3 changes: 2 additions & 1 deletion src/compiler/GF/Compile/GetGrammar.hs
Original file line number Diff line number Diff line change
Expand Up @@ -42,11 +42,12 @@ getSourceModule opts file0 =
raw <- liftIO $ keepTemp tmp
--ePutStrLn $ "1 "++file0
(optCoding,parsed) <- parseSource opts pModDef raw
let indentLines = unlines . map (" "++) . lines
case parsed of
Left (Pn l c,msg) -> do file <- liftIO $ writeTemp tmp
cwd <- getCurrentDirectory
let location = makeRelative cwd file++":"++show l++":"++show c
raise (location++":\n "++msg)
raise (location++":\n" ++ indentLines msg)
Right (i,mi0) ->
do liftIO $ removeTemp tmp
let mi =mi0 {mflags=mflags mi0 `addOptions` opts, msrc=file0}
Expand Down
9 changes: 5 additions & 4 deletions testsuite/compiler/update/ArrityCheck.gfs.gold
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@

testsuite/compiler/update/ArrityCheck.gf:6:1:
conflicting information in module ArrityCheck
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
def f 1 1 = 0 ;
fun f : Int -> Int -> Int ;
def f 0 = \x -> x ;
and
def f 1 1 = 0 ;

0 comments on commit 2acf677

Please sign in to comment.