Joe Groff
54b357eb63
Merge git://github.com/erikcharlebois/factor
2010-04-12 19:17:37 -07:00
Slava Pestov
3c11991843
classes.struct, specialized-arrays: fix unit tests to work when forget-tests? is on
2010-04-12 18:29:47 -07:00
Slava Pestov
99a3b3c9f6
furnace: documentation improvements
2010-04-12 18:17:21 -07:00
Joe Groff
c7f52ab3b1
Merge git://github.com/william42/factor
2010-04-12 17:06:21 -07:00
Slava Pestov
918b202b9a
compiler.tests.alien: get it passing when VM is compiled with MINGW by disabling certain tests and using the MINGW ABI for others, and fix fastcall alien-indirect tests for name decoration
2010-04-12 18:14:18 -05:00
Slava Pestov
67e24b1d2a
compiler.codegen: need to do name decoration with fastcall as well
2010-04-12 18:10:25 -05:00
Slava Pestov
becb7c78b7
Move non-parsing words out of alien.syntax, and use a symbol instead of a string variable to store the current library in alien.parser
2010-04-12 18:09:26 -05:00
Slava Pestov
2712496880
cpu.x86.32: fastcall struct returns are different on Linux than everywhere else for some unknown reason
2010-04-12 18:44:02 -04:00
Slava Pestov
a7ee58dc83
mason.test: forget test vocabs right after each test, instead of at the end
2010-04-12 14:45:43 -07:00
Slava Pestov
1434a305c8
vm: add a new rc-absolute-1 relocation class to allow storing values in 8-bit operands, and optimized code sequences for inline caches using this
2010-04-12 14:22:41 -07:00
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
Erik Charlebois
b9de2ca5c1
Merge branch 'master' of git://github.com/slavapestov/factor into techniques
2010-04-04 20:38:59 -07: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
Joe Groff
305ea844de
tools.deploy.windows: got the "com" and "exe" backwards for deploy-console? flag
2010-03-23 15:32:16 -07: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