gf-core

GitHub/gf-core

Fork 1

mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-10 21:39:32 -06:00

Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

#10

#103

#103

#106

#107

#11

#110

#111

#113

#114

#116

#118

#119

#120

#121

#122

#124

#126

#128

#129

#13

#133

#134

#134

#135

#136

#138

#140

#141

#142

#142

#143

#143

#144

#144

#147

#148

#149

#156

#160

#161

#162

#162

#164

#165

#166

#167

#169

#171

#173

#174

#175

#176

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#191

#192

#193

#194

#195

#196

#199

#199

#2

#2

#200

#22

#23

#24

#25

#3

#34

#39

#41

#42

#45

#50

#54

#55

#57

#59

#60

#61

#62

#65

#69

#7

#70

#71

#73

#75

#77

#78

#79

#83

#84

#86

#87

#88

#9

#93

#97

#99

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

87b5b826ce Added monad isntances for List and Maybe. bringert 2005-11-30 18:57:23 +00:00
12ca29b32b Transfer: derive instances, not functions. bringert 2005-11-30 18:42:45 +00:00
8460fbef67 Transfer: derive instances, not functions. bringert 2005-11-30 18:42:45 +00:00
01d1715994 Transfer: added monad class. fixed Compos class types. bringert 2005-11-30 18:40:29 +00:00
9664d6c886 Transfer: added monad class. fixed Compos class types. bringert 2005-11-30 18:40:29 +00:00
a68cd282cb Transfer: reimplement operators with type classes. bringert 2005-11-30 17:40:32 +00:00
997bc8c745 Transfer: reimplement operators with type classes. bringert 2005-11-30 17:40:32 +00:00
94b99219b8 Transfer compiler: don't load the same module twice. bringert 2005-11-30 17:40:11 +00:00
8cec5d5d1a Transfer compiler: don't load the same module twice. bringert 2005-11-30 17:40:11 +00:00
3139bd2a2e Transfer compiler now has a search path. Use -ipath to add to the path. Created CompilerAPI. bringert 2005-11-30 16:32:13 +00:00
60ed11c321 Transfer compiler now has a search path. Use -ipath to add to the path. Created CompilerAPI. bringert 2005-11-30 16:32:13 +00:00
cba2fcb9b1 Moved transfer libraries to transfer/lib bringert 2005-11-30 16:00:06 +00:00
5ffef88edc Moved transfer libraries to transfer/lib bringert 2005-11-30 16:00:06 +00:00
86df2a69b1 Moved class stuff to prelude. bringert 2005-11-30 15:51:43 +00:00
47ad17e78d Moved class stuff to prelude. bringert 2005-11-30 15:51:43 +00:00
684011b317 no size in html aarne 2005-11-30 15:33:27 +00:00
9a711c2a08 resource howto started aarne 2005-11-30 15:23:27 +00:00
48b70b2d9b darcs.txt: mention that several patches can be sent at once. bringert 2005-11-30 13:27:53 +00:00
eaf65c4e6a Transfer: Ord extends Eq. bringert 2005-11-30 13:20:04 +00:00
b6ee983432 Fixed typo in overload.tr. bringert 2005-11-30 13:18:43 +00:00
b846b4c4fd Transfer: fleshed out overloading examples. bringert 2005-11-30 12:34:14 +00:00
71b77a5481 Added transfer Maybe module. bringert 2005-11-30 12:28:50 +00:00
0c99efe54a VV rules aarne 2005-11-30 12:26:55 +00:00
f2e0c40f5b Remove more useless pattern matching and variable bindings in transfer compilation. bringert 2005-11-30 12:04:21 +00:00
198b527658 completing Structural aarne 2005-11-30 11:17:21 +00:00
80fcb22ef4 darcs.txt: mention that several patches can be sent at once. bringert 2005-11-30 13:27:53 +00:00
dfcf9bd27b Transfer: Ord extends Eq. bringert 2005-11-30 13:20:04 +00:00
2d36a61173 Fixed typo in overload.tr. bringert 2005-11-30 13:18:43 +00:00
bdffd0946a Transfer: fleshed out overloading examples. bringert 2005-11-30 12:34:14 +00:00
dfb58b8816 Added transfer Maybe module. bringert 2005-11-30 12:28:50 +00:00
34bdfd066c Remove more useless pattern matching and variable bindings in transfer compilation. bringert 2005-11-30 12:04:21 +00:00
afffb0367b Transfer: removed some fixed TODOs. bringert 2005-11-29 19:43:57 +00:00
68d4cc143f added transfer cases aarne 2005-11-30 09:14:07 +00:00
ac08470c22 transfer added to GF command interpreter[D[ aarne 2005-11-30 09:04:45 +00:00
6c8ff8e84b Transfer: removed some fixed TODOs. bringert 2005-11-29 19:43:57 +00:00
33b28b19e9 added transfer cases aarne 2005-11-30 09:14:07 +00:00
591f931900 transfer added to GF command interpreter[D[ aarne 2005-11-30 09:04:45 +00:00
c55e857f27 russian_multi janna 2005-11-29 21:10:57 +00:00
9db05c57f8 Added example of composOp overloading to overload.tr. bringert 2005-11-29 19:43:00 +00:00
b587a3b8bd Added example of composOp overloading to overload.tr. bringert 2005-11-29 19:43:00 +00:00
d0d110ed6a Added patterns with guards to transfer TODO. bringert 2005-11-29 19:42:43 +00:00
d7cf39ba87 Added patterns with guards to transfer TODO. bringert 2005-11-29 19:42:43 +00:00
96c263ea03 RussianSwadesh janna 2005-11-29 18:44:35 +00:00
9a2dea46d1 Use rec and sig for records. bringert 2005-11-29 18:16:33 +00:00
bb5f9dc312 Use rec and sig for records. bringert 2005-11-29 18:16:33 +00:00
5b9249a422 Split widesnake example. Changed examples to use rec and sig keywords. bringert 2005-11-29 18:15:15 +00:00
2ebf7da067 Split widesnake example. Changed examples to use rec and sig keywords. bringert 2005-11-29 18:15:15 +00:00
34916e8b50 restoring full coverage aarne 2005-11-29 17:45:54 +00:00
f6159d4bff Added stoneage transfer example. bringert 2005-11-29 17:42:43 +00:00
81bea08c2c Added stoneage transfer example. bringert 2005-11-29 17:42:43 +00:00
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

... 174 175 176 177 178 ...