Commit Graph
100 Commits
Author SHA1 Message Date
John J. Camilleri 04fcaaaac2 Declare context differently in Transaction_createCategory
This is an attempt to try fix the segfaults in CI which I cannot reproduce locally
2021-09-22 08:34:18 +02:00
John J. Camilleri 60c9ab4c53 Fix handlers for 'with' syntax in Transaction object 2021-09-21 23:54:55 +02:00
John J. Camilleri 4af807c982 Fix createCategory. Add functionProbability. 2021-09-21 23:34:03 +02:00
John J. Camilleri b4b8572af3 Header and source file cleanup 2021-09-21 22:28:44 +02:00
John J. Camilleri 71dac482c8 Started adding support for 'with' construct, failing tests commented out 2021-09-21 17:23:38 +02:00
John J. Camilleri 6edf7e6405 Add Transaction type to Python bindings, get first tests working. 2021-09-21 14:55:20 +02:00
John J. Camilleri 7dba3465d0 Refactor modules in Python bindings. Start work on grammar-update functions, but without transactions. 2021-09-20 23:42:50 +02:00
John J. Camilleri 44b5d0f870 Add newNGF to Python bindings 2021-09-17 14:33:36 +02:00
John J. Camilleri 6359537894 Add last of tests from basic.hs to Python testsuite. Some tests with quoted identifiers skipped. 2021-09-17 13:53:53 +02:00
John J. Camilleri a3203143ba Add Type constructor, showType, mk[Dep]Hypo, bind type constants 2021-09-17 11:27:19 +02:00
John J. Camilleri a8bda009a4 Add and pass all the abstraction test cases. Some header cleanup. 2021-09-16 15:38:02 +02:00
John J. Camilleri b393efff59 Fix richcompare functions: second argument could be of any type 2021-09-16 13:28:30 +02:00
John J. Camilleri 238f01c9fc Add remaining Expr subclasses, tests failing 2021-09-15 16:27:58 +02:00
John J. Camilleri fd61a6c0d3 Add ExprApp to Python bindings 2021-09-14 15:28:39 +02:00
John J. Camilleri 6ebb8e5fda Add ExprFun to Python bindings 2021-09-14 15:07:03 +02:00
John J. Camilleri be5751060a Add showExpr and tests for it using variable expressions 2021-09-14 00:18:45 +02:00
John J. Camilleri 9e3d329528 Update behaviour for bindings to categoryContext when cat is non-existant 2021-09-13 22:44:04 +02:00
John J. Camilleri a715d029f7 Fix Haskell tests after changes to categoryContext and functionProb 2021-09-13 22:35:23 +02:00
John J. Camilleri e78e9102be Add variable expressions 2021-09-13 22:29:23 +02:00
John J. Camilleri c5ce2fd4b7 Add ExprMeta type, with two basic tests 2021-09-13 16:18:32 +02:00
John J. Camilleri d8a7aef46b Add constructor for ExprLit, use it in tests 2021-09-13 15:47:15 +02:00
John J. Camilleri 7e747fbd17 int -> size_t 2021-09-13 15:23:07 +02:00
John J. Camilleri 3d25efd38a Add functionIsConstructor function 2021-09-13 15:15:16 +02:00
John J. Camilleri c83a31708d Add categoryContext function 2021-09-13 15:05:38 +02:00
John J. Camilleri 919fd5d83e Make Expr_str work for large (size > 1) and negative integers 2021-09-13 14:38:05 +02:00
John J. Camilleri 5f5bd7a83b Implement Expr_str correctly (but doesn't handle big ints yet) 2021-09-13 10:03:26 +02:00
John J. Camilleri cb6d385fc0 Un-skip read/boot tests 2021-09-13 09:13:36 +02:00
John J. Camilleri 678d244b21 Trying to complete Type marshaller, keep getting segfaults 2021-09-10 00:28:16 +02:00
John J. Camilleri 2f51c8471c Fix conversion from PyUnicode to PgfText. Remove Python 2-style PyString macros. 2021-09-09 23:41:55 +02:00
John J. Camilleri 4739e3d779 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-09-09 20:42:07 +02:00
John J. Camilleri 8bc171d7a1 Remove int tag from ExprLitObject 2021-09-09 20:42:01 +02:00
John J. Camilleri 5eade6f111 Generalise error handling 2021-09-09 11:16:10 +02:00
John J. Camilleri 175349175a Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-09-09 09:34:13 +02:00
John J. Camilleri 1d0c4e7c39 Handle unmarshalling of large ints in Python bindings 2021-09-09 09:34:05 +02:00
John J. Camilleri 9739344ca6 Support (small, size = 1) negative integers 2021-09-08 17:25:10 +02:00
John J. Camilleri 3b1907cd8c Add Expr and ExprLit types to Python bindings. Seem to work for readExpr. 2021-09-08 16:03:54 +02:00
John J. Camilleri c9b7f8e5ee Add exception object to parameters of updated function calls 2021-09-08 11:53:31 +02:00
John J. Camilleri e6d8b76dbf Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
# Conflicts:
#	src/runtime/python/pypgf.c
2021-09-06 23:52:30 +02:00
John J. Camilleri 5b96ede199 Work in progress with marshalling in Python bindings, trying to get Type_str to work without segfaulting 2021-09-06 23:49:53 +02:00
John J. Camilleri b7cddf206b First attempts at marshalling in Python bindings, not really sure what I'm doing 2021-09-06 15:32:18 +02:00
John J. Camilleri d58c744361 Implement PGF_getStartCat in Python bindings 2021-09-06 14:15:28 +02:00
John J. Camilleri a8efc61579 Working readType, functionType, unmarshaller for types (except exprs) in Python bindings 2021-09-06 14:06:57 +02:00
John J. Camilleri d53b7587f5 Fill in literal cases in Python unmarshaller (untested) 2021-09-03 15:26:10 +02:00
John J. Camilleri 3ecb937753 Start work on marshalling in Python bindings 2021-09-03 14:14:47 +02:00
John J. Camilleri 8061a9e82a Replace uses of PyUnicode_FromString with PyUnicode_FromStringAndSize
See https://github.com/GrammaticalFramework/gf-core/issues/130#issuecomment-908979886
2021-08-31 10:12:27 +02:00
John J. Camilleri 901c3f9086 Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic 2021-08-31 10:07:55 +02:00
John J. Camilleri 32f6691024 Update error handling in Python bindings, using the new PGF_EXN_OTHER_ERROR 2021-08-31 10:07:42 +02:00
John J. Camilleri 02dc4e83c5 Remove commented-out error-handling code
See https://github.com/GrammaticalFramework/gf-core/issues/130#issuecomment-908937688
2021-08-31 09:16:16 +02:00
John J. Camilleri aecaa422ec Add getFunctionsByCat to Python bindings 2021-08-30 23:25:18 +02:00
John J. Camilleri b7bd5a4561 Add getCategories and getFunctions to Python bindings, but don't know how to handle errors? 2021-08-30 22:26:22 +02:00
John J. Camilleri 50e54d131b Add abstractName getter to Python bindings. Use line comments (//) to make navigating code easier. 2021-08-30 15:03:54 +02:00
John J. Camilleri ff30169cbf Update CI workflow with new Python test command 2021-08-30 13:46:34 +02:00
John J. Camilleri 3e4f2ba1a0 Use pytest for Python bindings test suite 2021-08-30 13:31:27 +02:00
John J. Camilleri 239fd02249 Add more test cases for read/boot failures, those which incorrectly fail are commented out 2021-08-30 13:22:49 +02:00
John J. Camilleri ad4600b5c4 Add bootNGF and readNGF to Python bindings 2021-08-30 10:38:10 +02:00
John J. Camilleri 5c5e26cc8d Test bootNGF and readNGF too, run tests on all three PGFs 2021-08-30 09:45:02 +02:00
John J. Camilleri 03f02ae5d2 A bunch of superficial changes to the docs after reading through them carefully again 2021-08-24 11:27:10 +02:00
John J. Camilleri fdaf19a5d4 Bump version of Python bindings 2021-08-24 10:04:07 +02:00
John J. Camilleri 91adc09b1f Define LD_LIBRARY_PATH when running Python tests 2021-08-24 09:09:30 +02:00
John J. Camilleri beab2ad899 Update Python instructions, add simple testsuite (which fails with segmentation fault) 2021-08-24 09:05:16 +02:00
John J. Camilleri 4fd70bc445 Add basic installation instructions 2021-08-13 10:47:06 +02:00
John J. Camilleri 9e5823c350 Tweak base upper bound in pgf2.cabal 2021-08-13 10:28:44 +02:00
John J. Camilleri 2346abeedb Tweaks to pgf2.cabal 2021-08-13 10:25:16 +02:00
John J. Camilleri 3e7926f22d Update pgf2.cabal, including bumping version to 2.0.0 2021-08-13 10:20:49 +02:00
John J. Camilleri f35dff7c66 Add LD_LIBRARY_PATH to cabal test step 2021-08-13 10:04:21 +02:00
John J. Camilleri 1749908f6c Add --extra-lib-dirs to cabal command 2021-08-13 09:58:31 +02:00
John J. Camilleri d8e1e2c37d Add sudo to make install 2021-08-13 09:53:17 +02:00
John J. Camilleri 8877243701 Add tests to CI 2021-08-13 09:51:10 +02:00
John J. Camilleri ddfc599db3 Add sudo to apt commands 2021-08-12 10:34:38 +02:00
John J. Camilleri cb30e176bd Add CI workflow for building runtime 2021-08-12 10:33:45 +02:00
John J. Camilleri 0474a37af6 Make Makefile compatible with stack and old/new cabal (with v1- prefix when necessary) 2021-07-25 08:23:25 +08:00
John J. Camilleri bb51224e8e IRC link pre-fills channel. Link to logs gives newest first. 2021-07-23 16:07:34 +02:00
John J. Camilleri 4df8999ed5 Change Python 3.8 to 3.9 2021-07-23 08:05:35 +02:00
John J. Camilleri 7fdbf3f400 Update path in main workflow for binaries 2021-07-22 23:11:01 +02:00
John J. Camilleri 0d6c67f6b1 Try without rewriting envvar 2021-07-22 23:02:22 +02:00
John J. Camilleri 2610219f6a Update path 2021-07-22 22:56:39 +02:00
John J. Camilleri 7674f078d6 Try another path 2021-07-22 22:49:44 +02:00
John J. Camilleri c67fe05c08 Narrow search, print env var 2021-07-22 22:44:53 +02:00
John J. Camilleri 7b9bb780a2 Find Java stuff 2021-07-22 22:34:26 +02:00
John J. Camilleri 4f256447e2 Add separate Windows binary CI action for easier testing 2021-07-22 22:27:15 +02:00
John J. Camilleri a1fd3ea142 Fix bug introduced in cdbe73eb47
Apparently I don't understand how pattern-matching works in Haskell
2021-07-08 13:56:58 +02:00
John J. Camilleri cdbe73eb47 Remove two missing-methods warnings 2021-07-08 12:10:41 +02:00
John J. Camilleri 0954b4cbab More cabal file cleanup. Remove some more tabs from Haskell source. 2021-07-07 13:04:09 +02:00
John J. Camilleri f2e52d6f2c Replace tabs for whitespace in source code 2021-07-07 09:40:41 +02:00
John J. Camilleri a2b23d5897 Make whitespace uniform in Cabal files, add a few more dependency bounds 2021-07-07 09:11:46 +02:00
John J. Camilleri 0886eb520d Update 3.11 release notes 2021-07-06 15:45:21 +02:00
John J. Camilleri ef42216415 Add import from command line invocation to command history
Closes #64
2021-07-06 15:35:03 +02:00
John J. Camilleri 0c3ca3d79a Add note in PGF2 documentation about risk for integer overflow.
Closes #109
2021-07-06 14:43:21 +02:00
John J. Camilleri 84b4b6fab9 Some more cabal file cleanup. Add stack files for pgf, pgf2. 2021-07-06 14:11:30 +02:00
John J. Camilleri dff1193f7b Add --haskell=pgf2 flag 2021-07-06 14:59:53 +08:00
John J. Camilleri b090e9b0ff Add --haskell=pgf2 flag 2021-07-01 15:31:00 +02:00
John J. Camilleri 5d7c687cb7 Make imports in CheckGrammar a little more explicit 2021-07-01 14:32:39 +02:00
John J. Camilleri 376b1234a2 Rename GF.Compile.TypeCheck.RConcrete to GF.Compile.TypeCheck.Concrete 2021-07-01 14:27:11 +02:00
John J. Camilleri 71d99b9ecb Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.Concrete 2021-07-01 14:21:29 +02:00
John J. Camilleri a27b07542d Add run-on-grammar canonical test script 2021-07-01 14:05:30 +02:00
John J. Camilleri 78b73fba20 Make cleanupRecordFields also recurse into variants
It's possible that more constructors need to be handled
2021-07-01 13:53:33 +02:00
John J. Camilleri e5a2aed5b6 Remove record fields not in lincat
Fixes #100, #101
2021-07-01 11:47:14 +02:00
John J. Camilleri 13575b093f Add top-level signatures and general code cleanup 2021-07-01 10:13:42 +02:00
John J. Camilleri 32be75ca7d Reduce Phrasebook grammars in testsuite/canonical to bare minimum 2021-07-01 09:22:57 +02:00
John J. Camilleri 587004f985 Sort record fields in lin definitions
Fixes #102
2021-06-30 14:14:54 +02:00