Commit Graph

  • 9cc9a1fa8b Transfer: let expressions caused non-termination due to excessive strictness, fixed. bringert 2005-11-29 17:40:43 +00:00
  • 9d56a5f9b2 Transfer: let expressions caused non-termination due to excessive strictness, fixed. bringert 2005-11-29 17:40:43 +00:00
  • f85a51515d Transfer: added derive composFold bringert 2005-11-29 17:08:43 +00:00
  • eebe62ec19 Transfer: added derive composFold bringert 2005-11-29 17:08:43 +00:00
  • 3374034bbf Transfer: support printing meta variable values. bringert 2005-11-29 17:08:08 +00:00
  • e561f6398b Transfer: support printing meta variable values. bringert 2005-11-29 17:08:08 +00:00
  • c756b75ad8 Transfer: don't eta-expand overshadowed constructors. bringert 2005-11-29 17:07:17 +00:00
  • cd5e3e6744 Transfer: don't eta-expand overshadowed constructors. bringert 2005-11-29 17:07:17 +00:00
  • 68411f04f9 Fixed type argument to recursive call in generated composOp. bringert 2005-11-29 16:10:52 +00:00
  • dba03132b5 Fixed type argument to recursive call in generated composOp. bringert 2005-11-29 16:10:52 +00:00
  • 0d0c7e5b2d Added numerals example. bringert 2005-11-29 16:00:52 +00:00
  • 6c109eecc4 Added numerals example. bringert 2005-11-29 16:00:52 +00:00
  • bc2c57f5dc Made layout test example more compilcated. bringert 2005-11-29 15:57:51 +00:00
  • 43c50a6f4a Made layout test example more compilcated. bringert 2005-11-29 15:57:51 +00:00
  • ba9461090e In transfer beta reduction optimization: reduce bottom-up instead of top-down. bringert 2005-11-29 15:56:35 +00:00
  • cffaff9588 In transfer beta reduction optimization: reduce bottom-up instead of top-down. bringert 2005-11-29 15:56:35 +00:00
  • eef20fa404 Added meta variables to transfer front-end and core. bringert 2005-11-29 15:48:13 +00:00
  • 8a1efe2ce5 Added meta variables to transfer front-end and core. bringert 2005-11-29 15:48:13 +00:00
  • dd70f6dce3 adverbs aarne 2005-11-29 15:21:45 +00:00
  • 2be80a7e3b Transfer generation: cat constructors should not have tree types. bringert 2005-11-29 14:55:45 +00:00
  • 3cd1317bda Transfer generation: cat constructors should not have tree types. bringert 2005-11-29 14:55:45 +00:00
  • dc06abd643 Transfer data type generation now uses the Tree type constructor for data constructor types. bringert 2005-11-29 13:59:27 +00:00
  • e60754e612 Transfer data type generation now uses the Tree type constructor for data constructor types. bringert 2005-11-29 13:59:27 +00:00
  • 3564aa406b Added GrammarToTransfer. It works, except that the constructor types are missing Tree here and there. bringert 2005-11-29 12:22:40 +00:00
  • 465ad22516 Added GrammarToTransfer. It works, except that the constructor types are missing Tree here and there. bringert 2005-11-29 12:22:40 +00:00
  • 5a1ce37e1c relatives aarne 2005-11-29 09:43:20 +00:00
  • 19f052723f Added TODO about layout bug. bringert 2005-11-28 23:03:22 +00:00
  • 930b5fd194 Added TODO about layout bug. bringert 2005-11-28 23:03:22 +00:00
  • 967891cfd7 Transfer compiler: extended variable removal to variables bound in case expressions. bringert 2005-11-28 23:02:04 +00:00
  • 3632c7eecf Transfer compiler: extended variable removal to variables bound in case expressions. bringert 2005-11-28 23:02:04 +00:00
  • 884055566e Transfer compilation: Change varibles which are not used to wildcards. bringert 2005-11-28 22:39:53 +00:00
  • 51fc5cb515 Transfer compilation: Change varibles which are not used to wildcards. bringert 2005-11-28 22:39:53 +00:00
  • cb6f3088b5 Fixed transfer composOp generation to support tree types that don't take a single type argument. bringert 2005-11-28 22:31:09 +00:00
  • 998ead90a6 Fixed transfer composOp generation to support tree types that don't take a single type argument. bringert 2005-11-28 22:31:09 +00:00
  • 5d7bcac1e5 Changed precedence of projection to be higher than application. bringert 2005-11-28 21:45:58 +00:00
  • 0ee1c632f9 Changed precedence of projection to be higher than application. bringert 2005-11-28 21:45:58 +00:00
  • 02c23401a7 Changed all example programs to use layout syntax. bringert 2005-11-28 21:45:22 +00:00
  • 2e16e1e384 Changed all example programs to use layout syntax. bringert 2005-11-28 21:45:22 +00:00
  • 5a82068ddc Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing of tokens in correct positions in the layout test program. bringert 2005-11-28 21:25:03 +00:00
  • 576f25b53e Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing of tokens in correct positions in the layout test program. bringert 2005-11-28 21:25:03 +00:00
  • 2455b73559 Changed exp.tr to use layout syntax and the Cat type. bringert 2005-11-28 21:24:31 +00:00
  • b62b81d973 Changed exp.tr to use layout syntax and the Cat type. bringert 2005-11-28 21:24:31 +00:00
  • d5b8fc79fb adjectives aarne 2005-11-28 20:53:54 +00:00
  • 8535445a81 Removed interpreter API TODO. bringert 2005-11-28 19:15:27 +00:00
  • 2c0fdf6c3c Removed interpreter API TODO. bringert 2005-11-28 19:15:27 +00:00
  • 9fe010ce58 Removed BNFC layout fix from transfer TODO. bringert 2005-11-28 19:12:50 +00:00
  • 6fb6eb3980 Removed BNFC layout fix from transfer TODO. bringert 2005-11-28 19:12:50 +00:00
  • 101f43dcd4 Cleaned up closure stuff in the transfer interpreter. bringert 2005-11-28 19:12:15 +00:00
  • 4248f092c1 Cleaned up closure stuff in the transfer interpreter. bringert 2005-11-28 19:12:15 +00:00
  • d66e6fbff4 working on questions aarne 2005-11-28 15:00:52 +00:00
  • 0fbb2fe27e Russian_lex janna 2005-11-28 11:25:46 +00:00
  • e74fc3a3b5 Add instructions about compressing patches. bringert 2005-11-26 01:36:32 +00:00
  • 0b3d28f6d9 russian janna 2005-11-25 20:02:53 +00:00
  • 08d75593c3 Add instructions about compressing patches. bringert 2005-11-26 01:36:32 +00:00
  • 2f5ee5b6ef Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive transfer interpreter mode. bringert 2005-11-25 18:02:36 +00:00
  • 0fc7c76717 Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive transfer interpreter mode. bringert 2005-11-25 18:02:36 +00:00
  • fe1fdf3afd questions and transfer in shell state aarne 2005-11-25 17:40:51 +00:00
  • 638826db35 questions and transfer in shell state aarne 2005-11-25 17:40:51 +00:00
  • dbe8e61acc Move transfer into the GF repo. bringert 2005-11-25 16:36:19 +00:00
  • 2a59fffd45 Move transfer into the GF repo. bringert 2005-11-25 16:36:19 +00:00
  • fe2731e5f8 Added note about read-write access on Windows. bringert 2005-11-24 16:27:43 +00:00
  • 66c1c31960 Added note about read-write access on Windows. bringert 2005-11-24 16:27:43 +00:00
  • bb573d016c Document ControlMaster problem in Cygwin. bringert 2005-11-24 15:34:49 +00:00
  • f3354b3659 Document ControlMaster problem in Cygwin. bringert 2005-11-24 15:34:49 +00:00
  • 4e39769f07 Include darcs-cm wrapper. bringert 2005-11-24 13:05:27 +00:00
  • 1438f8e0c1 Include darcs-cm wrapper. bringert 2005-11-24 13:05:27 +00:00
  • 853bcef7b9 Include darcs-cm script. bringert 2005-11-24 12:59:28 +00:00
  • 221b3412fa Include darcs-cm script. bringert 2005-11-24 12:59:28 +00:00
  • b71cf25c86 Mention what the ssh -M session looks like. bringert 2005-11-24 10:43:56 +00:00
  • d1cb1b5be4 Mention what the ssh -M session looks like. bringert 2005-11-24 10:43:56 +00:00
  • 78e272be3c solved: path problem in SimpleGFC peb 2005-11-24 10:02:53 +00:00
  • b3c7bd8e6b Emphasize need to use momo. bringert 2005-11-24 10:31:05 +00:00
  • a197138357 Added mkdir to chalmers path setup. bringert 2005-11-24 10:27:35 +00:00
  • 9d408658de solved: path problem in SimpleGFC peb 2005-11-24 10:02:53 +00:00
  • 506dd0809c Emphasize need to use momo. bringert 2005-11-24 10:31:05 +00:00
  • e3638aace0 Added mkdir to chalmers path setup. bringert 2005-11-24 10:27:35 +00:00
  • 9a9d057a34 simple problem tracing aarne 2005-11-24 09:25:39 +00:00
  • e583ecc830 simple problem tracing aarne 2005-11-24 09:25:39 +00:00
  • 2f8514e54a extending proto resource API aarne 2005-11-23 21:38:11 +00:00
  • b29877c590 extending proto resource API aarne 2005-11-23 21:38:11 +00:00
  • fe0408c9a4 Make tools/mktoday.sh executable in dist and snapshot. Reported by Johan Bockgård. bringert 2005-11-23 15:35:21 +00:00
  • f0e40a923d Make tools/mktoday.sh executable in dist and snapshot. Reported by Johan Bockgård. bringert 2005-11-23 15:35:21 +00:00
  • 68e216d7f8 Added srgs_xml_prob to HelpFile. bringert 2005-11-23 13:16:31 +00:00
  • 40bc62016f Added srgs_xml_prob to HelpFile. bringert 2005-11-23 13:16:31 +00:00
  • ce6c032c6f experimenting with English VP aarne 2005-11-22 22:00:47 +00:00
  • e79321be37 experimenting with English VP aarne 2005-11-22 22:00:47 +00:00
  • 712272f0e4 put up resource-1.0 and moved cf there aarne 2005-11-21 21:06:44 +00:00
  • e8cc4b5967 Added SRGS printing and command interruption to gf-history. bringert 2005-11-21 10:21:05 +00:00
  • b6c9c8a77e Added SRGS printing and command interruption to gf-history. bringert 2005-11-21 10:21:05 +00:00
  • 64f9ece393 extending English coverage by verbs aarne 2005-11-20 21:40:02 +00:00
  • 90bdab23e0 Fixed bugs in the snapshot versioning code. bringert 2005-11-18 14:43:44 +00:00
  • 19154d0317 Fixed bugs in the snapshot versioning code. bringert 2005-11-18 14:43:44 +00:00
  • 92973fe78a Fixed snapshot building to use data-based version number. bringert 2005-11-18 14:40:31 +00:00
  • 435c9aa5a0 Fixed snapshot building to use data-based version number. bringert 2005-11-18 14:40:31 +00:00
  • 7c6210d6e6 matching with "" aarne 2005-11-18 14:24:12 +00:00
  • 43c850ffbc matching with "" aarne 2005-11-18 14:24:12 +00:00
  • 524c4829f9 nondeterministic lexer, e.g. subseqs aarne 2005-11-17 23:17:42 +00:00
  • 440e68ce4a nondeterministic lexer, e.g. subseqs aarne 2005-11-17 23:17:42 +00:00
  • e29a1430bf Added section with technical information. bringert 2005-11-17 18:21:42 +00:00
  • 84b0e9165f Added section with technical information. bringert 2005-11-17 18:21:42 +00:00