gf-core.git/src/GF/Command/TreeOperations.hs, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2009-12-13T18:50:29+00:00 reorganize the directories under src, and rescue the JavaScript interpreter from deprecated 2009-12-13T18:50:29+00:00 krasimir krasimir@chalmers.se 2009-12-13T18:50:29+00:00 urn:sha1:f85232947e74ee7ef8c7b0ad2338212e7e68f1be change the data types and the syntax in PGF to match the new syntax for implict arguments 2009-09-20T11:43:41+00:00 krasimir krasimir@chalmers.se 2009-09-20T11:43:41+00:00 urn:sha1:b1a51f46f5d137ab4d65a4381b349af3291a944d added pt -transfer 2009-09-17T15:47:06+00:00 krasimir krasimir@chalmers.se 2009-09-17T15:47:06+00:00 urn:sha1:b8a7e50107ecc5a5b9cd1dbad6460a5fb3fbbf67 polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr 2009-09-11T13:45:34+00:00 krasimir krasimir@chalmers.se 2009-09-11T13:45:34+00:00 urn:sha1:1cdf171251a56baf0867b65a95c9bd59801ff912 now the datatype Tree is only internal. All API functions are working with Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker 2009-09-08T08:40:28+00:00 krasimir krasimir@chalmers.se 2009-09-08T08:40:28+00:00 urn:sha1:28a7c4b5c7659dc18166e06e914fb0a81c1c43bc hopefully complete and correct typechecker in PGF 2009-09-06T20:31:52+00:00 krasimir krasimir@chalmers.se 2009-09-06T20:31:52+00:00 urn:sha1:b97d6abb8190cdcb595b9bf48051cc4a98f01156 now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting 2009-05-23T21:33:52+00:00 krasimir krasimir@chalmers.se 2009-05-23T21:33:52+00:00 urn:sha1:e5c8636a5f608af83d918e62533306cf7ddc7118 refactor the PGF.Expr type and the evaluation of abstract expressions 2009-05-20T21:03:56+00:00 krasimir krasimir@chalmers.se 2009-05-20T21:03:56+00:00 urn:sha1:7db4b641ce6abe90dd404459cd5eccb6e67f618c rudimentary abstract syntax type checker and solver in PGF 2008-10-14T14:34:08+00:00 aarne aarne@cs.chalmers.se 2008-10-14T14:34:08+00:00 urn:sha1:e4dc63f6657153da1a8c906f669581905f054e4a paraphrase works a little better now ; added examples/paraphrase for testing 2008-10-14T11:19:30+00:00 aarne aarne@cs.chalmers.se 2008-10-14T11:19:30+00:00 urn:sha1:a11f1b14370883b903da5b93de88984a3cfb9344