Erik Charlebois
4addd3161b
Merge branch 'master' of git://github.com/slavapestov/factor
2010-04-12 11:29:24 -07:00
Erik Charlebois
ef365bfa53
Remove unused locals.
2010-04-12 01:18:58 -07:00
Slava Pestov
3be3fdeb46
Merge branch 'master' of git://github.com/erikcharlebois/factor
2010-04-12 01:16:43 -07:00
Erik Charlebois
0448c867e2
Fix indentation in read-token
2010-04-12 01:15:49 -07:00
Erik Charlebois
3d4dadffe2
Image encoding/decoding of PBM format
2010-04-12 00:49:16 -07:00
Slava Pestov
1881476892
ui.backend.windows: fix icon name
2010-04-11 15:03:38 -05:00
Slava Pestov
328068b480
windows: fix load errors
2010-04-11 15:00:54 -05:00
Slava Pestov
2b4a55b53a
Merge branch 'master' of git://github.com/erikcharlebois/factor
2010-04-10 18:01:19 -07:00
Slava Pestov
145e6428ba
Fixing load errors
2010-04-10 17:24:44 -07:00
Erik Charlebois
c21dc534c5
Merge branch 'master' of github.com:erikcharlebois/factor
2010-04-10 17:07:44 -07:00
Erik Charlebois
f6d8c0ad22
Convert image to binary form and remove debug code.
2010-04-10 17:07:05 -07:00
Slava Pestov
0202c35d2a
alien: now that fastcall works better it doesn't need to be private
2010-04-10 16:57:07 -07:00
Slava Pestov
ed40eb4239
cpu.x86.32: cleanups and fixes to make fastcall and thiscall callbacks work
2010-04-10 16:54:17 -07:00
Erik Charlebois
2812830b44
Typo in cairo ffi for C-ENUM change.
2010-04-10 01:26:26 -07:00
Slava Pestov
0aab7aa872
compiler.tests.alien: fix typo
2010-04-10 00:41:20 -07:00
Erik Charlebois
5768ae0af4
Forget to save some files for enum change
2010-04-10 00:12:59 -07:00
Slava Pestov
46a1fb2646
Merge remote branch 'origin/abi-symbols' into fastcall-madness
2010-04-10 00:10:33 -07:00
Slava Pestov
f828f9fdaa
Fiddle with register assignments in non-optimizing x86-32 backend
2010-04-10 00:10:05 -07:00
Erik Charlebois
e1849518ec
Merge branch 'master' of git://github.com/slavapestov/factor
2010-04-09 23:49:40 -07:00
Erik Charlebois
edc489f4c1
Change C-ENUM: to always take a type. Use f for anonymous enums. Update all uses.
2010-04-09 23:48:22 -07:00
Slava Pestov
b330595c3b
ui.gadgets.grids: clarify docs
2010-04-08 10:22:59 -07:00
Slava Pestov
85f3c69c70
io.monitors.recursive: don't bomb if a dsubordinate monitor is disposed of
2010-04-07 20:40:13 -04:00
Joe Groff
fe085c96d6
debugger: `` '' -> “ ”
2010-04-06 13:56:35 -07:00
Joe Groff
c3f8f5067e
catch merge conflicts in source and report them as such
2010-04-06 13:34:26 -07:00
Joe Groff
3e0d86f355
Merge branch 'master' of git://factorcode.org/git/factor into abi-symbols
...
Conflicts:
basis/compiler/tests/alien.factor
2010-04-06 12:30:15 -07:00
Erik Charlebois
4b78fe690b
Extend C-ENUM: to allow specifying the constant vvalues like in C. Add C-TYPED-ENUM: to automatically typedef a type.
2010-04-06 02:46:23 -07:00
Slava Pestov
430a05dcea
Store stack bounds in TIB on win64 to make C++ exceptions work
2010-04-05 19:07:10 -04:00
Doug Coleman
eac2849833
Temporary fix for directx bindings until I revert flags{ patch or parsing words get redone
2010-04-05 18:01:25 -05:00
Doug Coleman
9ec94f242d
Dont use literals twice
2010-04-05 18:01:23 -05:00
Daniel Ehrenberg
aae69daa96
Fixing USING: line of scheduling to remove unnecessary vocabs
2010-04-05 15:45:06 -05:00
Daniel Ehrenberg
e22f66daf4
Scheduling has to come before representation selection, since the latter inserts memory operations
2010-04-05 00:24:12 -05:00
Erik Charlebois
b9de2ca5c1
Merge branch 'master' of git://github.com/slavapestov/factor into techniques
2010-04-04 20:38:59 -07:00
Daniel Ehrenberg
601b6f8457
Merge branch 'master' of git://factorcode.org/git/factor into s3
2010-04-04 19:43:15 -05:00
Slava Pestov
c0af678c5b
cpu.x86.assembler: add support for absolute addressing on x86-64; [RIP+] now behaves like [] did, and [] now does absolute addressing just like in 32-bit mode
2010-04-04 19:42:57 -04:00
Erik Charlebois
925d2c7e58
PGM image loading and saving
2010-04-04 03:23:04 -07:00
Slava Pestov
b16d91576c
cpu.x86.64: fix typo that caused bootstrap crash
2010-04-03 21:11:04 -04:00
Slava Pestov
74640b7f71
Get green threads working on Windows
...
- store stack base and limit in TIB
- set up a frame-based structured exception handler in each context's callstack
- boot.x86.32.image has now been replaced by boot.winnt-x86.32.image and boot.unix-x86.32.image
2010-04-03 20:24:33 -04:00
William Schlieper
39f066726c
Added mouse support to game.input on Linux
2010-04-03 08:48:15 -04:00
Joe Groff
2240520e2d
update some more doc examples using old abi strings
2010-04-02 23:16:53 -07:00
Slava Pestov
f86c9439e9
windows.errors: redundant USING: list entry
2010-04-02 15:58:47 -04:00
Slava Pestov
de4343eaf7
vm: re-organize context structure
2010-04-02 15:42:29 -04:00
Joe Groff
2d22a8eb49
tools.disassembler: allow aliens to be used in address pairs
2010-04-02 00:30:27 -07:00
Joe Groff
1c5f718e80
add tests for fastcall callbacks
2010-04-02 00:23:39 -07:00
Joe Groff
47f3ace5ac
test fastcall indirect struct return
2010-04-02 00:00:34 -07:00
Joe Groff
43d73dcd4d
remove fastcall struct param tests because GCC appears to behave differently from VC++ here and again, who cares
2010-04-01 23:54:08 -07:00
Joe Groff
5dcfb383a6
add tests for struct returns from fastcall
2010-04-01 23:52:56 -07:00
Joe Groff
69abcd4b9b
test indirect fastcalls
2010-04-01 23:43:55 -07:00
Joe Groff
fd0569e553
compiler.tests.alien: add back fastcall float and struct tests
2010-04-01 22:47:16 -07:00
Joe Groff
2c3fde412a
cpu.x86.32: add load-return-regs methods for stack-params so callbacks can box the struct return pointer
2010-04-01 22:01:10 -07:00
Slava Pestov
0faa3bcf4a
vm: pre-allocate context alien
2010-04-02 00:02:21 -04:00
Joe Groff
88fbcba067
flatten non-integral types to (stack-value) on x86.32
2010-04-01 20:56:43 -07:00
Slava Pestov
044171e6b9
cpu.ppc: fix optimizing compiler backend
2010-04-01 21:41:13 -05:00
Slava Pestov
2cab0bb86c
cpu.ppc: stick old stack pointer in a register for use by callbacks
2010-04-01 22:39:46 -04:00
Joe Groff
88da92543c
add a test that multiple stdcalls or fastcalls in the same word behave correctly
2010-04-01 18:48:12 -07:00
Joe Groff
553b9fcd93
make "fastcall" symbol private since it doesn't really work in all cases
2010-04-01 18:34:15 -07:00
Joe Groff
9c1a9158be
retire mixed int/float fastcall tests because who cares
2010-04-01 18:25:56 -07:00
Joe Groff
666081f155
update %load-param-reg, %save-param-reg, and %cleanup to take register args into account
2010-04-01 17:36:09 -07:00
Slava Pestov
eceabbc57e
compiler: new set-special-object intrinsic; more efficient special-object intrinsic
2010-04-01 20:09:14 -04:00
Slava Pestov
1b4b1a180c
Some minor pointless optimizations
2010-04-01 20:09:14 -04:00
Doug Coleman
51fd5e34e8
Fix bootstrap on windows
2010-04-01 18:48:41 -05:00
Joe Groff
ef884ef7f2
Merge branch 'master' into abi-symbols
2010-04-01 15:28:36 -07:00
Joe Groff
7a5a6c779e
add note to deploy docs that «deploy» creates a bundle directory with all the parts, and «deploy-image-only» deploys only the image
2010-04-01 15:25:08 -07:00
Joe Groff
bbe6b729bf
tools.deploy: add a «deploy-image-only» word that only builds the image file to a specified location
2010-04-01 15:11:52 -07:00
Joe Groff
6bc8beb070
tools.deploy.macosx: make sure Contents/Frameworks dir still gets created for apps that deploy third-party libraries
2010-04-01 14:44:18 -07:00
Joe Groff
6fdba565a1
update deploy backends not to include dll in deployed apps
2010-04-01 14:26:56 -07:00
Joe Groff
c743608456
check gc after fastcall ffi tests like stdcall tests
2010-04-01 14:15:34 -07:00
Doug Coleman
8a46a201fc
Fix bootstrap
2010-04-01 15:37:57 -05:00
Doug Coleman
026499e64f
Use flags{ instead of flags all over the place
2010-04-01 14:44:03 -05:00
Joe Groff
615c64443b
update M\ int-regs param-regs for x86-32 to give input regs for thiscall/fastcall
2010-04-01 03:35:37 -07:00
Joe Groff
a191937c47
typos in ffi tests
2010-04-01 03:02:36 -07:00
Joe Groff
4fd61f0b5c
cpu.architecture: alter param-regs to take abi as an (ignored for now) argument
2010-04-01 02:53:40 -07:00
Joe Groff
fca8ba3d0a
add fastcall functions to ffi tests
2010-04-01 02:22:42 -07:00
Erik Charlebois
116c8850ac
PPM image loading and saving
2010-04-01 00:44:32 -07:00
Slava Pestov
1f9fbd22eb
cpu.ppc: updating optimizing compiler backend for recent changes (untested)
2010-04-01 00:22:10 -04:00
Slava Pestov
1e1425a6e1
cpu.ppc: non-optimizing compiler backend fixes
2010-04-01 00:21:41 -04:00
Joe Groff
6805dc6401
remove redundant «stdcall?» word from cpu.x86.32
2010-03-31 19:57:29 -07:00
Joe Groff
98d1e7d006
update alien.libraries docs to link cdecl/stdcall symbols
2010-03-31 19:57:04 -07:00
Joe Groff
f3dd625de6
"stdcall" -> stdcall
2010-03-31 19:29:04 -07:00
Joe Groff
a6ee4232bb
"mingw" -> mingw
2010-03-31 19:28:11 -07:00
Joe Groff
65c3259761
"cdecl" -> cdecl
2010-03-31 19:20:35 -07:00
Slava Pestov
7d24459bb8
cpu.x86.assembler: add segment override prefixes
2010-03-31 20:47:13 -04:00
Slava Pestov
ef53e6ecd5
cpu.x86.64: eliminate useless instruction from primitive call sequence for a marginal to non-existent gain
2010-03-31 19:32:36 -04:00
Doug Coleman
0569f08ea2
Fix calendar docs
2010-03-31 17:37:22 -05:00
Doug Coleman
dc52f177f5
Add utiltity words for io.files.unique
2010-03-31 15:09:51 -05:00
Doug Coleman
b39e3f4700
Link a word in math docs
2010-03-31 15:09:51 -05:00
Doug Coleman
077e5dea2a
Always do a leap year check when adding timestamps
2010-03-31 15:09:51 -05:00
Doug Coleman
e7487bfe98
More constants and functions in windows.advapi32
2010-03-31 15:03:35 -05:00
Doug Coleman
c49f45f051
Make literals work with aliases, add flags{ parsing word to clean boilerplate with $[
2010-03-31 15:03:33 -05:00
Doug Coleman
be51468863
Report the Win32 error code along with the error message
2010-03-31 15:03:32 -05:00
Slava Pestov
4b1361833e
cpu.ppc: updating non-optimizing compiler backend for green threads (untested)
2010-03-31 15:19:14 -04:00
Slava Pestov
8f0487f1c3
cpu.x86: remove useless crap from c-to-factor sub-primitive
2010-03-31 15:19:00 -04:00
Slava Pestov
ce42aea6a4
tools.deploy.shaker: make sure an io-multiplex method remains even if C streams are stripped out
2010-03-31 13:29:44 -04:00
Slava Pestov
587664efbf
tools.deploy.shaker: don't strip out io-thread, since new thread implementation requires at least one thread to be runnable at any time
2010-03-31 10:27:24 -04:00
Slava Pestov
1b271f8202
locals: remove some dead code
2010-03-30 21:56:51 -04:00
Slava Pestov
fb2ecab614
threads: delete old contexts immediately instead of handing them off to a 'context recycler' thread
2010-03-30 21:47:48 -04:00
Slava Pestov
60d1a9640d
models.product: fix example (reported by Muzzleflash)
2010-03-30 17:33:08 -04:00
Slava Pestov
2b68f56c89
Document (free), move it out of libc.private and mention it in the "c-strings" help article (reported by Blei)
2010-03-30 17:32:51 -04:00
Slava Pestov
26c4aec91a
validators: fix v-default (reported by Niklas Waern)
2010-03-30 15:35:36 -04:00
Slava Pestov
000c21fc66
concurrency.distributed: fix for removal of 'thread' word
2010-03-30 01:17:39 -04:00
Slava Pestov
c36d85ab47
sets, hash-sets, bit-sets: fix some typos in the documentation
2010-03-30 01:10:39 -04:00
Slava Pestov
c7142e4281
threads: use context-switching primitives
2010-03-29 20:40:17 -04:00
Slava Pestov
d130f24248
ui.gadgets.buttons: fix incorrect parameter order in <radio-controls>
2010-03-29 15:08:15 -04:00
Slava Pestov
99771eb689
bootstrap.compiler: fix joint dependencies declared here
2010-03-29 13:14:26 -04:00
Joe Groff
676d4e4c83
someone screwed up the kernel-error codes in debugger
2010-03-28 18:31:11 -07:00
Daniel Ehrenberg
240c6819a9
Merge branch 'master' into conditional
2010-03-28 19:49:32 -04:00
Slava Pestov
51c7e1e1e6
threads: fix thread-local variables
2010-03-28 12:33:41 -04:00
Slava Pestov
e859a32096
cpu.x86.bootstrap: fix jit-profiling regression
2010-03-28 08:29:55 -04:00
Slava Pestov
f1e19aabdb
threads: simplify 'suspend' combinator
2010-03-28 08:29:53 -04:00
Slava Pestov
b6dfdcb909
set-context and start-context primitives can now pass parameters around
2010-03-27 08:13:57 -04:00
Slava Pestov
b5f7e91bdc
vm: report callstack overflow
2010-03-27 07:45:11 -04:00
Slava Pestov
e6b9e54454
stack-checker.known-words: fix load error
2010-03-27 03:35:01 -04:00
Slava Pestov
1717b8d0f7
Implement start-context and set-context primitives
2010-03-27 02:56:11 -04:00
Slava Pestov
d98e752199
compiler: add intrinsic for context-object primitive
2010-03-27 02:56:11 -04:00
Slava Pestov
e6a15c0b33
compiler.tree.propagation: don't constant-fold boa constructors of identity-tuple subclasses
2010-03-26 22:44:56 -04:00
Slava Pestov
560c119cd2
vm: actually use context callstacks when running code
2010-03-26 22:44:43 -04:00
Daniel Ehrenberg
31f23c8eba
Scheduling uses sets where appropriate
2010-03-24 10:38:52 -04:00
Joe Groff
305ea844de
tools.deploy.windows: got the "com" and "exe" backwards for deploy-console? flag
2010-03-23 15:32:16 -07:00
Daniel Ehrenberg
12db8a6c77
Merge branch 's3' of git://github.com/littledan/Factor into s3
2010-03-23 16:46:28 -04:00
Slava Pestov
6299e746f1
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-23 01:45:40 -04:00
Joe Groff
f6561f3c03
delegate: add BROADCAST: syntax, delegate generic with no outputs to an array of multiple delegates
2010-03-22 22:32:00 -07:00
Daniel Ehrenberg
88e88207ff
Fixing bug in regexp \P
2010-03-23 00:30:49 -04:00
Joe Groff
91c353ef60
tools.deploy: make deploy-console? and deploy-ui? independent config variables, so windows apps can be deployed without a console or the ui
2010-03-22 16:55:35 -07:00
Joe Groff
1d4d6f4ce8
factor code duplication in compiler.cfg.intrinsics.simd.backend
2010-03-20 10:57:04 -07:00
Joe Groff
f82a368602
compiler.cfg.intrinsics.simd.backend: eliminate duplicated work done on successful insn sequence
2010-03-20 02:51:49 -07:00
Joe Groff
ee4913702f
compiler.cfg.intrinsics.simd.backend: use less grotesque metaprogramming to determine simd instruction sequences
2010-03-20 02:16:50 -07:00
Daniel Ehrenberg
887c289c6c
Merge branch 'master' of git://factorcode.org/git/factor into conditional
2010-03-19 06:46:16 -04:00
Slava Pestov
6aee6b3adc
Add context-specific special object table, generalizing catchstack_save and current_callback_save fields of context struct
2010-03-18 22:06:00 +13:00
Daniel Ehrenberg
b4bf7b1d9b
Making xml literal inverse behavior only load if inverse is loaded
2010-03-18 02:07:47 -04:00
Daniel Ehrenberg
4af88ff9ff
Making more vocabs use require-when
2010-03-18 01:39:30 -04:00
Daniel Ehrenberg
eb060443db
Updating code to use require-when rather than vocab [ require ] when
2010-03-18 01:13:37 -04:00
Daniel Ehrenberg
8f92583946
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-17 21:38:35 -04:00
Daniel Ehrenberg
fab9a925c3
Reducing bit-sets performance regression somewhat
2010-03-17 21:38:06 -04:00
Daniel Ehrenberg
248730d39f
Cleaning up compiler.cfg.ssa.construction
2010-03-17 20:12:10 -04:00
Slava Pestov
75d0f51b30
alien.debugger: fix USING: form
2010-03-17 19:35:12 +13:00
Slava Pestov
fb06bbcae7
stack-checker.errors.prettyprint: give it some smart quotes lovin'
2010-03-17 19:20:28 +13:00
Slava Pestov
6ff0393e2f
debugger: Untangle some dodgy dependencies that were loading locals before prettyprint, resulting in locals.prettyprint not being loaded
2010-03-17 19:19:43 +13:00
Slava Pestov
cdee2439d8
grouping: minor cleanup
2010-03-17 19:13:25 +13:00
Slava Pestov
01e5aadcd0
unix.types.freebsd: fix time_t typedef
2010-03-17 17:39:43 +13:00
Daniel Ehrenberg
39df2c373f
Fixing vocab ambiguities in linux and windows-specific vocabs
2010-03-17 00:22:48 -04:00
Daniel Ehrenberg
b30acddbb0
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-16 23:59:50 -04:00
Daniel Ehrenberg
cd10fed0af
Fixing bit sets help
2010-03-16 23:59:35 -04:00
Joe Groff
abd9b30d34
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-16 18:36:02 -07:00
Joe Groff
632c199636
opengl 3.3, 4.0
2010-03-16 18:35:46 -07:00
Daniel Ehrenberg
5e20190bc5
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-16 20:38:19 -04:00
Joe Groff
00b95b1c8a
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-16 17:25:57 -07:00
Joe Groff
fce55c7bb3
opengl 3.2; EXT_geometry_shader4 => ARB_geometry_shader4
2010-03-16 17:25:34 -07:00
Daniel Ehrenberg
1da6ea957a
Fixing bugs with sets, including adding new within and without words
2010-03-16 20:17:26 -04:00
Daniel Ehrenberg
512fe14e4e
Merge branch 'bags' of git://github.com/littledan/Factor
...
Conflicts:
basis/compiler/cfg/ssa/construction/tdmsc/tdmsc.factor
basis/furnace/auth/auth.factor
basis/stack-checker/backend/backend.factor
2010-03-16 13:28:00 -04:00
Slava Pestov
604ccb0a3a
tools.memory: fix unit test
2010-03-16 18:35:44 +13:00
Slava Pestov
9b6b58b240
tools.time: fix load error in docs
2010-03-16 16:44:36 +13:00
Slava Pestov
10836ce1bc
tools.memory, tools.dispatch: change collect-gc-events and collect-dispatch-stats combinators to output values instead of setting variables
2010-03-16 14:00:57 +13:00
Joe Groff
acb04ad3ed
debugger: give a descriptive error for *-in-c-type-name
2010-03-15 12:57:38 -07:00
Joe Groff
08f29d9fcd
ui.backend.cocoa.views: change drawRect: method so it does "draw-world" directly instead of relayout-1 yield
2010-03-15 12:57:09 -07:00
Slava Pestov
f0a9912ae9
core-foundation.run-loop: remove unnecessary yields. This fixes a thread starvation issue with game.input
2010-03-15 19:25:57 +13:00
Slava Pestov
e30d18aefc
http: update docs
2010-03-15 19:25:20 +13:00
Slava Pestov
4c9ae8398c
io.servers.connection: fix bogus logging
2010-03-14 17:04:36 +13:00
Slava Pestov
937b05f1de
http: clean up and fix some content encoding logic
2010-03-13 22:10:36 +13:00
Joe Groff
cb0e99a962
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-13 00:45:31 -08:00
Slava Pestov
efe5e22483
furnace.syndication: fix load error
2010-03-13 21:13:34 +13:00
Joe Groff
b28f7c97f4
add descriptive summary for no-c-type error
2010-03-12 23:07:36 -08:00
Slava Pestov
02a4082e1f
http.server: decouple charset header from encoding used to send the data, and serve text files as UTF-8 by default
2010-03-13 19:07:35 +13:00
Slava Pestov
f8e2ddd53f
prettyprint.config: short. should not print structs as pointers
2010-03-13 19:07:34 +13:00
Joe Groff
f13a031f8f
windows.offscreen: generalize the declared effect of with-memory-dc
2010-03-12 19:59:21 -08:00
Joe Groff
8687a7e283
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
2010-03-12 14:36:13 -08:00
Slava Pestov
e8f857f3f6
sequences.cords: remove blank lines
2010-03-12 16:45:09 +13:00
Joe Groff
dfbe1211f7
pre-chew the bite-sized morsels of stack-checker.row-polymorphism so they're easy for old people to digest
2010-03-11 14:09:18 -08:00
Slava Pestov
16ddd015d3
typed: forgetting a final class would throw an error while recompiling typed words depending on it
2010-03-12 10:22:35 +13:00
Joe Groff
452f17c859
update effect syntax error names in debugger
2010-03-11 11:22:43 -08:00
Slava Pestov
274a6ec5ce
furnace.recaptcha: fix load error
2010-03-12 01:23:28 +13:00
Slava Pestov
977f8e1d2c
Merge branch 'row-polymorphism' of git://factorcode.org/git/factor into row-polymorphism
2010-03-11 22:10:49 +13:00
Slava Pestov
f6511eb098
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
2010-03-11 22:10:24 +13:00
Joe Groff
26ff757de4
carve the tough, gamey steak of stack-checker.polymorphism into chewable morsels
2010-03-11 00:53:40 -08:00
Slava Pestov
3189c8d7a1
furnace.recaptcha: remove unused variable
2010-03-11 21:13:22 +13:00
Slava Pestov
fd767b7d31
furnace.recaptcha: make it easier to use
2010-03-11 21:02:39 +13:00
Slava Pestov
1f593f6bbc
furnace.recaptcha: cleanups
2010-03-11 19:13:57 +13:00
Joe Groff
f24a74f66c
Merge branch 'master' into row-polymorphism
2010-03-10 11:48:41 -08:00
Joe Groff
18f3df9d4a
more help-lint
2010-03-09 21:02:43 -08:00
Joe Groff
b9004a4fff
fix up sequences help-lint
2010-03-09 20:29:44 -08:00
Joe Groff
4367b15c4a
update help-lint to complain when $quotation effect doesn't match declared effect on corresponding input parameter of stack effect
2010-03-09 19:51:04 -08:00
Joe Groff
b9bced9a5e
update docs for unbalanced-branches-error
2010-03-09 18:42:10 -08:00
Slava Pestov
7744559a46
compiler.tree.propagation: clean up
2010-03-10 15:15:49 +13:00
Slava Pestov
1bf7db20ed
Merge branch 'length' of git://github.com/littledan/Factor
2010-03-10 14:30:23 +13:00
Joe Groff
34b29af245
non-polymorphic input parameter check was too strict: wouldn't allow ( x -- ) for ( x x -- x ), for example
2010-03-09 15:57:00 -08:00
Daniel Ehrenberg
8e227bc874
Propagation tracks length just like any other read-only slot
2010-03-09 15:58:44 -05:00
Joe Groff
84aa47610f
mop up errors from test-all
2010-03-09 10:22:14 -08:00
Joe Groff
e7968ceffc
mop up compiler errors from macosx load-all
2010-03-09 00:56:07 -08:00
Joe Groff
bcbc7632c6
fix stack effects in compiler tests
2010-03-08 23:46:20 -08:00
Joe Groff
191ac353fd
generalize stack effects so we can bootstrap with the stricter stack effect checking
2010-03-08 23:38:10 -08:00
Joe Groff
3abf1f1ef7
stack-checker.row-polymorphism: modify check-variables to enforce non-polymorphic stack effects
2010-03-08 19:44:01 -08:00
Joe Groff
21aa4632c8
refactor stack-checker.row-polymorphism a little
2010-03-08 19:32:25 -08:00
Joe Groff
0f8d77952b
Merge branch 'master' of git://factorcode.org/git/factor into row-polymorphism
2010-03-08 18:14:29 -08:00
Joe Groff
5597ee691f
add documentation about stack effect variable syntax and the effect on the stack checker
2010-03-08 17:17:47 -08:00
Joe Groff
8159a19187
combine unbalanced-branches-error and invalid-quotation-input into one error
2010-03-07 22:23:24 -08:00
Joe Groff
9e6f84bc24
declare effect on inputs to infer-if in non-literal case, so we get a better error than "unbalanced drop call/nip call"
2010-03-07 21:37:24 -08:00
Joe Groff
6689113519
unify inner-d-index when unifying branches; close a few other leaks where meta-d could have been popped without updating inner-d-index
2010-03-07 20:44:50 -08:00
Joe Groff
66687d6b21
reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols
2010-03-07 20:08:35 -08:00
Joe Groff
f353b13bbc
add unit test from quotation that fails to infer during bootstrap.compiler
2010-03-07 20:07:30 -08:00
Joe Groff
4cd6ad840d
add tests from old row-polymorphism implementation to stack-checker unit tests
2010-03-07 19:13:41 -08:00
Joe Groff
1512ed12f3
further improve error message for invalid quotation inputs using a table display with the actual quotation effects determined so far
2010-03-07 18:40:58 -08:00
Joe Groff
ea4545e366
improve error message for invalid quotation inputs by referencing each declared-effect to its other references
2010-03-07 18:27:55 -08:00
Joe Groff
011a39457e
clear away some rebar
2010-03-07 18:11:44 -08:00
Joe Groff
6b9a79159d
tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler
2010-03-07 18:07:42 -08:00
Joe Groff
b14d59030f
add stack variable unification to M\ declared-effect infer-call*
2010-03-07 17:51:41 -08:00
Joe Groff
bbbda64ee7
add a with-effect-here combinator that determines the effect of a scoped subset of the stack checker
2010-03-07 16:54:25 -08:00
Joe Groff
63ad397cc1
tweak recursive call site checking to consider declared-effects equivalent to their wrapped values
2010-03-07 11:55:47 -08:00
Joe Groff
339cc8f04e
row polymorphism new approach: wrap polymorphic quotation inputs in a "declared-effect" value. M\ declared-effect infer-call* will then assert the effect of declared-effect values during the normal course of stack inference
2010-03-07 11:54:57 -08:00
Joe Groff
68dd644233
add unit test to show that polymorphic check breaks inference of inline recursive words
2010-03-06 12:28:09 -08:00
Joe Groff
9571bf6d4b
give terminating stack effects a pass in the polymorphic checker
2010-03-05 21:51:38 -08:00
Joe Groff
15e6a7fa5e
move error summaries for effect parsing errors to debugger vocab
2010-03-05 21:50:40 -08:00
Joe Groff
26e4bb818a
reuse infer-call* for polymorphic inference, which handles curried quotations. tests can pass with real "each" etc. now
2010-03-05 15:20:55 -08:00
Joe Groff
c9162c5e31
fix stack error in stack-checker.row-polymorphism
2010-03-05 14:34:50 -08:00
Joe Groff
af57d4dfa9
fix ... in compiler.cfg.linearization
2010-03-05 14:27:58 -08:00
Joe Groff
4892bf1d47
refactor stack-checker slightly to fix circular dependency
2010-03-05 14:27:36 -08:00
Joe Groff
ff2a53e1b8
clean up now-inappropriate uses of "..." in generalizations stack effects
2010-03-05 13:58:00 -08:00
Joe Groff
a3033e885a
make effect variables part of effect syntax, stored out of band in effect tuple
2010-03-05 13:30:10 -08:00
Joe Groff
1b1ccb71a4
make tests pass
2010-03-04 22:43:01 -08:00
Joe Groff
053ba583fc
improve error reporting
2010-03-04 21:51:49 -08:00
Joe Groff
31640ea9c6
nested scopes were messing up stack checker state
2010-03-04 20:15:26 -08:00
Joe Groff
23de281186
initial implementation of row-polymorphism check
2010-03-04 19:30:08 -08:00
Erik Charlebois
7d9c73c406
Merge branch 'master' of git://github.com/slavapestov/factor
2010-03-03 00:04:17 -08:00
Erik Charlebois
a0ac5a16c3
Update tags.txt files for Windows DDK
2010-03-03 00:03:44 -08:00
Daniel Ehrenberg
e3481a7ed7
compiler.cfg.def-use uses sets
2010-03-02 19:23:34 -05:00
Daniel Ehrenberg
766896f01c
Fixing bug in see caused by incorrect import
2010-03-02 19:11:35 -05:00
Joe Groff
444fa7668c
Merge branch 'master' of git://factorcode.org/git/factor
2010-03-02 15:25:06 -08:00
Joe Groff
2e4ebc0182
needlessly rice game.input backends further by using set/get-global everywhere
2010-03-02 15:24:47 -08:00
Daniel Ehrenberg
3ad5ca4636
Regexps use new sets rather than assocs for final states
2010-03-02 18:05:37 -05:00
Daniel Ehrenberg
7364608417
Merge branch 'master' of git://factorcode.org/git/factor into bags
2010-03-02 17:04:45 -05:00
Doug Coleman
b059ade5ed
Use TYPED: in a few places in calendar.format to avoid passing durations instead of timestamps
2010-03-02 04:31:17 -06:00
Doug Coleman
55c606f274
Remove year/month/day words because they're dumb and confusing
2010-03-02 04:20:40 -06:00
Joe Groff
4159cfcc7b
game.input.*: factor out callback implementations to separate words so they optimize
2010-03-01 23:29:26 -08:00
Doug Coleman
55e772c528
Remove the http-data word
2010-03-01 22:32:15 -06:00
Joe Groff
6d81d1eaaa
windows.directx.d3d9: a method was missing argument names
2010-02-28 23:11:43 -08:00
Joe Groff
9bf5c76771
lexer: add "each-token" and "map-tokens", which are equivalent to "parse-token _ each/map" but incremental. update a smattering of parsing words (such as USING:, SYMBOLS:, etc.) to use each-token/map-tokens
2010-02-28 22:19:43 -08:00
Joe Groff
702c4df0da
Merge branch 'master' of git://factorcode.org/git/factor
2010-02-28 20:25:26 -08:00
Daniel Ehrenberg
1e5f202998
Maing vocabs.hierarchy use sets; modifying alias analysis's use of sets
2010-02-28 22:55:22 -05:00
Daniel Ehrenberg
1217dc9c6e
Making alias analysis use sets
2010-02-28 22:42:10 -05:00
Joe Groff
bde65fe2d0
windows.com: update COM-INTERFACE: to parse incrementally
2010-02-28 19:30:15 -08:00
Joe Groff
cd17a934ac
cut commas off of FUNCTION: parameter names in stack effects again
2010-02-28 19:29:53 -08:00
Joe Groff
9412fe8297
update GL-FUNCTION: to use new FUNCTION: factors
2010-02-28 16:40:34 -08:00
Joe Groff
078ca0fa58
alien.parser: refactor FUNCTION: parsing to read from the source incrementally. parse errors in FUNCTION: should now correspond to their location within the definition
2010-02-28 16:20:45 -08:00
Slava Pestov
e3ddafbdec
core-foundation.run-loop: clean up and speed up some code to fix starvation issue exposed by game.loop (reported by Joe Groff)
2010-03-01 12:22:18 +13:00
Daniel Ehrenberg
da57436180
Finishing eliminating prune as a synonym of members
2010-02-27 14:52:24 -05:00
Doug Coleman
004608e1f4
fix docs for csv
2010-02-27 13:04:42 -06:00
Daniel Ehrenberg
434605c0b5
Changing some uses of prune to use members
2010-02-27 13:14:03 -05:00
Doug Coleman
cc892700c8
add missing using
2010-02-27 08:25:25 -06:00
Doug Coleman
bad7e4b68e
Add a slot for worlds to know if they are fullscreened, and another for restoring the window position after returning from fullscreen mode
2010-02-27 07:58:42 -06:00
Doug Coleman
93efc83938
more user32 bindings
2010-02-27 07:58:41 -06:00
Doug Coleman
5eff2e0e9a
Add csv>string and string>csv
2010-02-27 07:58:38 -06:00
Doug Coleman
18c0935b64
Docs for http-data
2010-02-27 07:58:37 -06:00
Doug Coleman
9bf7f56283
Add a new word http-data that is just http-get nip
2010-02-27 07:58:35 -06:00