Compare commits

...

510 Commits

Author SHA1 Message Date
Doug Coleman ee67a4d8d2 factor: update for load-all 2020-04-03 09:15:25 -05:00
Doug Coleman 3a430c4dae escape-strings: fix using 2020-04-02 20:31:53 -05:00
Doug Coleman b644ec6818 Merge remote-tracking branch 'origin/master' into modern-harvey4 2020-04-02 20:24:16 -05:00
Doug Coleman 2321fe8c9a windows.errors: fix merge 2020-03-25 19:13:07 -05:00
Doug Coleman 94a1a8a2af Merge branch 'master' into modern-harvey4 2020-03-25 18:22:03 -05:00
Doug Coleman c14ffd4d0f Merge remote-tracking branch 'origin/master' into modern-harvey4 2020-03-15 13:38:10 -05:00
Doug Coleman dfb3ebf509 Merge remote-tracking branch 'origin/master' into modern-harvey4 2020-03-15 13:09:22 -05:00
Doug Coleman 516a5d9004 factor: Update all repos to point to github.com.
factorcode.org repo can get behind the github one due to #1862 and low RAM on the new factorcode.org server
2020-03-15 12:22:15 -05:00
Doug Coleman 7838405c1b parser: Disable single-quote parser. 2020-03-12 17:54:02 -05:00
Doug Coleman 9c7c8cd9dd core: working on fry/locals 2020-03-12 17:13:36 -05:00
Doug Coleman f5c75922ec core: fryable work. 2020-03-12 17:11:51 -05:00
Doug Coleman 05b48364c6 factor: Working on making locals-everywhere, array literals constructed
by ``output>array``, and fry with arrays.

We need to expand macros before doing the locals transform ``rewrite-closures`` and fry needs to happen in the locals pass because the locals pass touches the retainstack as part of the transform and we only want to do this once. We defer fry by making a <fryable> which rewrite-closures transforms.

Fixes things like the following that used to break because the locals
transform happened before fry.

::: bar ( a b -- a ) '[ |[ a | a _ + ] call ] call ;

Also we can use fry in case/cond now since macro-expansion happens
first.

Things like this work:
::: foo ( a b c -- a ) :> ( a b c ) c q{{ a b c a b + c _ }} ;
1 2 4 foo ...
{ 1 2 4 3 4 4 }

Triple colon will become colon soon.

Finally, there is a potential issue with macros changing the order of
fry underscore expansion since fry happens later. We need to rewrite fry
internally as 0_ 1_ 2_ so order is preserved everywhere in the expanded
macro.
2020-03-12 17:06:15 -05:00
Doug Coleman d3d9c1ffcf Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-03-12 17:01:05 -05:00
Doug Coleman b6e518e4bb Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-03-04 19:19:01 -06:00
Doug Coleman e2baa121f4 windows.errors: fix bootstrap 2020-01-30 12:55:34 +01:00
Doug Coleman 1268a9e1c6 modern: Fix handling of FOO: in { } [ ] ( ) 2020-01-26 13:08:01 -06:00
Doug Coleman a076fe99cf modern: Allow A\\B in word names 2020-01-26 11:29:28 -06:00
Doug Coleman f23fda04c0 compiler: Remove whitespace 2020-01-26 10:20:55 -06:00
Doug Coleman 00c85b6cdc ui.backend.cocoa.views,bittorrent: Fix syntax for new parser 2020-01-26 10:08:49 -06:00
Doug Coleman 82f9cea1c1 Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-01-25 12:56:30 -06:00
Doug Coleman cf689792d6 modern: fix unit tests 2020-01-25 12:44:19 -06:00
Doug Coleman c3dbfbbd69 modern: Handle #foo forms better.
The point of a #foo form is to "turn off" the form. Thus, we don't actually need
to handle "#" until the end of the parse. This makes things like ``GENERIC#:`` work
without extra code since the lexer no longer looks for "#".

Also clean up lex-factor-top and lex-factor-nested to reduce duplication.
There are only two cases that matter when it's "top" or "nested", which refers to
whether we are in a ``FOO:`` form or not. Another ``FOO:`` or a ``<SECTION`` can
happen inside a ``FOO:``, causing us to rewind the lex and start lexing the new form.
2020-01-25 12:32:05 -06:00
Doug Coleman b5c8155383 modern: fix stack effects 2020-01-25 11:30:42 -06:00
Doug Coleman e1b83e4a21 Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-01-23 19:12:27 -06:00
Doug Coleman 7d9bda3c26 Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-01-17 20:26:07 -06:00
Doug Coleman aaee11ad9e project-gutenberg: add new vocab 2020-01-17 20:09:10 -06:00
Doug Coleman ed43639994 io.pathnames: update windows path word \char: 2020-01-08 22:14:53 -06:00
Doug Coleman ae15ed674e Merge remote-tracking branch 'origin/master' into modern-harvey3 2020-01-08 22:09:41 -06:00
Doug Coleman 94dbc90f0f hacker-news: Color the indices for xmas 2019-12-25 11:49:35 -05:00
Doug Coleman 3149deefb8 hacker-news: Add Christmas background 2019-12-25 11:29:51 -05:00
Doug Coleman de57b00d2f calendar: Add a today? word 2019-12-25 11:29:28 -05:00
Doug Coleman c3c61e74d7 assocs: Add set-of
merry christmas lol
2019-12-25 11:28:58 -05:00
Doug Coleman 0b6c3f6f8e imap: fix regexps 2019-12-24 14:40:38 -05:00
Doug Coleman d934114fb7 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-12-17 08:33:55 -06:00
Doug Coleman 360b769ccf factor: file endings 2019-12-07 18:36:47 -08:00
Doug Coleman a4208887b1 modern: Handle foo[3] and foo[3 2019-12-07 18:35:18 -08:00
Doug Coleman a4a9500be1 modern: Allow [[ [=[ [0[ etc
Fix slice-until to be a more general combinator
2019-12-07 18:26:15 -08:00
Doug Coleman 3f9448bc18 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-12-07 16:57:33 -08:00
Doug Coleman 67fc3e1171 Revert "windows.errors: make check-invalid-handle throw windows-error instances"
This reverts commit 38ab7289b5.
2019-12-05 09:23:00 -06:00
Doug Coleman 104ac614d0 Revert "Replace inline INVALID_HANDLE_VALUE checks with check-invalid-handle calls"
This reverts commit 1e61dbfd2a.
2019-12-05 09:22:26 -06:00
Doug Coleman a85163aef0 Revert "io.files.windows: replace "-1 <alien>" with INVALID_HANDLE_VALUE"
This reverts commit a6f0b74f03.
2019-12-05 09:22:14 -06:00
Doug Coleman 64ffbc149a Revert "Delete throw-win32-error, replace with win32-error calls"
This reverts commit e1be081ec9.
2019-12-05 09:22:01 -06:00
Doug Coleman 64f1cfa0fb Revert "Replace "n>win32-error-string throw" with windows-error instance throwing"
This reverts commit 70d08ce743.
2019-12-05 09:21:48 -06:00
Doug Coleman 7528812d38 Revert "Replace "win32-error-string throw" with windows-error instance throwing"
This reverts commit 2dfb3b3a73.
2019-12-05 09:21:34 -06:00
Doug Coleman 8dd5fdda0f Revert "windows.errors: streamline error handling and throwing"
This reverts commit ca474dd154.
2019-12-05 09:21:24 -06:00
Doug Coleman cb8499373d modern: Fix tests and foo[[ ]] 2019-12-01 11:25:03 -06:00
Doug Coleman 9e4a999f7b modern: Instead of [=[ ]=] [==[ ]==] we use [0[ ]0] [1[ ]1] etc. 2019-12-01 11:19:43 -06:00
Doug Coleman 5a9f0752c8 git: update test 2019-12-01 10:13:21 -06:00
Doug Coleman 355c52390d Merge branch 'modern-harvey3' of github.com:factor/factor into modern-harvey3 2019-12-01 10:06:49 -06:00
Doug Coleman bea7852d60 git: more correct handling of multiline payloads
Field keys read until a space. The field payload reads until a newline. If the next line begins with a space, that line is also part of the field value.

Fields end with two newlines (\n\n) in a row.
2019-12-01 09:45:31 -06:00
Doug Coleman 73f2838c87 modern.slices: Add peek-from 2019-12-01 09:45:23 -06:00
Doug Coleman 618d41251e random.passwords: char: 2019-11-30 01:11:31 -05:00
Doug Coleman 319a8a4941 Merge remote-tracking branch 'github/master' into modern-harvey3 2019-11-30 01:09:20 -05:00
Doug Coleman b552ab5f28 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-11-30 01:06:50 -05:00
Doug Coleman 1cf3e1161d escape-strings: Instead of [[ [=[ [==[, [[ [0[ [1[ ... 2019-11-18 23:09:58 -06:00
Doug Coleman c9684dbd14 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-11-11 17:25:45 -06:00
Doug Coleman e00f639cf6 modern: fix whitespace 2019-11-11 08:26:39 -06:00
Doug Coleman 39796039b0 modern.out: fix map-literals 2019-11-11 08:25:23 -06:00
Doug Coleman f67acc5b6a math.functinos: fix NAN: to nan: 2019-11-11 08:18:52 -06:00
Doug Coleman 9139752b49 modern: fix map-literals 2019-11-11 08:17:18 -06:00
Doug Coleman 317cec5dce Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-11-09 21:19:40 -06:00
Doug Coleman 6a4a7cc9d1 kernel: add some roll words. 2019-11-09 21:16:43 -06:00
Doug Coleman 8b7ab6c140 core: Working on making map-as better.
(each-integer) -> iterate-upto
2019-11-05 22:34:58 -06:00
Doug Coleman 3f79f14af2 factor: rename new-like* to new-like 2019-11-03 20:40:09 -06:00
Doug Coleman 2b8204aabc xmodes: SBUF to sbuf 2019-11-03 20:33:54 -06:00
Doug Coleman 2be635823e extra: fix SBUF" to sbuf" 2019-11-03 20:32:35 -06:00
Doug Coleman 0ad47550e0 factor: Use new-like* everywhere. 2019-11-03 20:32:19 -06:00
Doug Coleman 107f435779 sequences: More direct implementation of map-as and new-like* 2019-11-03 20:10:17 -06:00
Doug Coleman e83100b759 modern: wip 2019-11-03 15:22:59 -06:00
Doug Coleman 721ce58b4c modern: Working on arity/decorators 2019-11-03 14:00:57 -06:00
Doug Coleman 321ec1ee06 modern: working on arity/decorators again 2019-11-03 09:36:50 -06:00
Doug Coleman 3a164fb648 modern.tools: make a graph of using list 2019-11-02 15:10:45 -05:00
Doug Coleman c279cf6a70 modern: Trying to get a using list graph. 2019-11-02 14:59:55 -05:00
Doug Coleman b049b0919c Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-11-01 17:48:04 -05:00
Doug Coleman c3bd9c3b4e modern: comment/remove some stuff 2019-10-30 00:29:04 -05:00
Doug Coleman a4623177b6 regexp: remove R/ for now 2019-10-30 00:25:37 -05:00
Doug Coleman e4229ef5f9 regexp: removing R/ for now 2019-10-29 23:42:50 -05:00
Doug Coleman 422078e01e regexp: Add re:: and re[[ ]] and use new syntax.
R/ / is a crazy syntax to support.
- it makes / a special character
- you have to escape forward slashes which is awkward in any language with R/ / syntax
- re"\d" is not a valid regexp string, gotta do the escapes later
-- the only universal escape in a string is either \" or even "none" as a default option
2019-10-29 23:03:33 -05:00
Doug Coleman a654c7b879 modern: Tokens are sequences. It makes everything easier. 2019-10-29 20:36:45 -05:00
Doug Coleman 05686c44a3 modern: working on lookup 2019-10-29 18:41:50 -05:00
Doug Coleman dc85cb9dcc extra: more whitespace
all-paths [ ] rewrite-paths
2019-10-28 19:30:42 -05:00
Doug Coleman 1eee4d0f34 extra: whitespace 2019-10-28 19:29:40 -05:00
Doug Coleman 46b0e8d44f modern: fix # standalone 2019-10-28 19:28:49 -05:00
Doug Coleman dc1cb5b7d1 basis: whitespace commit 2019-10-28 19:14:30 -05:00
Doug Coleman 6e1c2ecc6c core: whitespace commit 2019-10-28 19:12:57 -05:00
Doug Coleman 5618440e2b modern: Handle #foo vs foo# vs # 2019-10-28 19:12:41 -05:00
Doug Coleman ce06202d1a modern: writing out files again. i had this code years ago.. 2019-10-28 19:05:21 -05:00
Doug Coleman 6c5e1e3910 Merge remote-tracking branch 'origin' into modern-harvey3 2019-10-26 13:34:07 -05:00
Doug Coleman 9415b3399e Merge remote-tracking branch 'origin' into modern-harvey3 2019-10-24 23:04:44 -05:00
Doug Coleman 14ac7742ff lists: fix syntax 2019-10-24 23:04:31 -05:00
Doug Coleman 68ae992f40 Merge remote-tracking branch 'origin' into modern-harvey3 2019-10-24 21:51:29 -05:00
Doug Coleman 7cd98c796f modern: pass section path to map-forms 2019-10-24 21:47:41 -05:00
Doug Coleman bf79c1abd1 sequences: add glue-as and surround-as 2019-10-24 21:47:19 -05:00
Doug Coleman 6956a90dba modern: map-forms initial implementation 2019-10-24 19:18:09 -05:00
Doug Coleman be6bc61830 modern: arity stuff 2019-10-24 19:18:01 -05:00
Doug Coleman a8df2132f6 modern.manifest: working on aritites and decorators 2019-10-24 18:38:46 -05:00
Doug Coleman 11b0bfc038 modern: Fix :> and :: ::: etc 2019-10-24 18:38:23 -05:00
Doug Coleman ff594f4313 modern.manifest: Trying out an idea to have one syntax-forms per vocabulary-root.
Starting with core/ first.
2019-10-22 19:15:27 -05:00
Doug Coleman 25a8cedcb8 modern: more syntax fixes 2019-10-20 17:59:49 -05:00
Doug Coleman 8a46a16530 core: better syntax for comment.
[[ foo ]] is a string
``#[[foo]]`` is a turned-off string
2019-10-20 15:41:34 -05:00
Doug Coleman 953e6511ee core: allow char: \# 2019-10-20 15:27:03 -05:00
Doug Coleman aa47ba1df7 classes.struct.prettprint: Fix pprint-; rename 2019-10-20 14:20:00 -05:00
Doug Coleman c4cd8991be modern: Fix all the syntax errors.
Support ``{abc}foo{`` as a token name

Bug to fix:
! should error
[[M: error-class see-class*
    <colon \ ERROR: pprint-word
    {
        [ pprint-word ]
        [ superclass. ]
        [ <block "slots" word-prop [ name>> pprint-slot-name ] each block> pprint-semi ]
        [ tuple-declarations. ]
    } cleave
    block> ;]] string>literals >strings
2019-10-20 14:17:09 -05:00
Doug Coleman 980840d360 modern: Turned-off syntax.
A token like ``#: foo ;`` will remove ``foo`` from the parse tree.
You can turn off single tokens: ``{ 1 #2 3 }`` -> ``{ 1 3 }
``#{ 1 2 3 }`` -> empty
"#<FOO : foo ; : bar ; FOO>" string>literals >strings -- turn off a whole section
2019-10-19 13:54:04 -05:00
Doug Coleman d2621d0da6 modern: Fix all unit tests.
Removing whitespace from the parse tree. The invariant is that the underlying source slice cannot change and we will calculate the whitespace between tokens on replacement. We have to reparse after writing the file (or not, we can calculate the new parse without reading the file since we are writing it...)
2019-10-19 13:36:10 -05:00
Doug Coleman 5def4de6f3 modern: working on parser.
! not sure what these all do.
\ foo
\\ foo foo
\ \abc{
\ abc{ }
\\ abc{ } def{ }
2019-10-17 01:14:36 -05:00
Doug Coleman 4ef0a41d05 modern: If we find whitespace, there was no delimiter, so it's just a token. 2019-10-17 00:51:06 -05:00
Doug Coleman 2c6d958030 modern: confusing algorithm, add comments 2019-10-17 00:42:22 -05:00
Doug Coleman 155171b828 modern: more ws 2019-10-17 00:02:12 -05:00
Doug Coleman 721d0c3ea9 modern: wrap whitespace 2019-10-16 23:24:35 -05:00
Doug Coleman 680cac56c1 modern: less code 2019-10-16 18:29:16 -05:00
Doug Coleman 1c4bdd74a6 modern: Reduce a lot of error words. 2019-10-16 17:56:28 -05:00
Doug Coleman 1e4723ad2d modern: Fix some parsing issues with passing f to find-from. Add tests. 2019-10-16 17:33:51 -05:00
Doug Coleman 013ed4f2ab modern: move some tuples 2019-10-16 02:44:46 -05:00
Doug Coleman d1466f2aea modern: more duplication cleaned up. 2019-10-16 02:16:58 -05:00
Doug Coleman 58aacc34bf modern: Refactor ``n string`` to ``string n`` and remove dead code. 2019-10-15 23:21:26 -05:00
Doug Coleman 810ba323c9 prettyprint.backend: Fix bad refactor. 2019-10-06 13:44:44 -05:00
Doug Coleman 1724ae15a9 fry: Undo _ change. 2019-10-06 13:38:32 -05:00
Doug Coleman 8033cb02f3 Revert "alien.data.map: fix use of _ for fry change."
This reverts commit 28f0f471d3.
2019-10-06 13:27:44 -05:00
Doug Coleman ea8f29706a Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-10-06 13:23:35 -05:00
Doug Coleman 4a86d45c17 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-10-01 00:21:39 -05:00
Doug Coleman 8d3dec2034 windows.uniscribe: Fix bootstrap. 2019-10-01 00:21:10 -05:00
Doug Coleman 8b4998aa4d math: fix syntax 2019-09-29 11:20:27 -05:00
Doug Coleman 511ecb4e84 factor: fix load-all 2019-09-28 14:13:05 -05:00
Doug Coleman 7e46618316 qtkit: Deprecated in macOS 10.15. 2019-09-28 14:10:32 -05:00
Doug Coleman e973293309 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-09-28 13:28:31 -05:00
Doug Coleman d635604026 modern: Removing ch'a syntax.
It's cool but I don't like it right now.
2019-09-28 10:59:07 -05:00
Doug Coleman fbf7c73e99 factor: whitespace commit. 2019-09-28 10:23:53 -05:00
Doug Coleman d5d552eb40 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-09-28 09:54:13 -05:00
Doug Coleman 5963f3a520 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-09-27 17:26:09 -05:00
Doug Coleman 1ce3b72760 Revert "openssl: Fix bootstrap for macOS 10.15 beta."
This reverts commit 3eda5056c7.
2019-09-27 17:24:51 -05:00
Doug Coleman fdf13141bc factor: CHAR: -> ch', URL", NAN: fixes 2019-09-27 16:04:43 -05:00
Doug Coleman 3eda5056c7 openssl: Fix bootstrap for macOS 10.15 beta. 2019-09-27 16:02:27 -05:00
Doug Coleman e7c10e22b7 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-09-27 08:14:30 -05:00
Doug Coleman 502f4e7fd8 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-06-09 10:40:23 -05:00
Doug Coleman add6234fd1 unicode.collation: Don't count the number of tests, it's irrelevant. 2019-06-09 10:38:45 -05:00
Doug Coleman 24704095b7 unicode: update all the UCA files... 2019-06-06 21:49:37 -05:00
Doug Coleman 87b8641eab unicode: update to 12.10.1 2019-06-05 23:53:02 -05:00
Doug Coleman 9e48ebefaa Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-06-05 23:50:08 -05:00
Doug Coleman ce397fb345 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-04-07 19:01:36 -05:00
Doug Coleman 08a09f70ff Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-04-07 10:32:28 -05:00
Doug Coleman 118dcd5870 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-03-03 10:32:53 -06:00
Doug Coleman 83401103a7 locals.rewrite: Rename (rewrite-sugar) word. 2019-02-17 15:21:54 -06:00
Doug Coleman b612b5be8c modern: more forms 2019-02-17 15:21:26 -06:00
Doug Coleman bcb0bf8a53 Merge remote-tracking branch 'origin/master' into modern-harvey3 2019-02-11 17:46:47 -06:00
Doug Coleman d222f6681c compiler.tree.debugger: fix match __ 2018-12-30 21:20:53 -06:00
Doug Coleman 9cff14ca01 match: _ -> __ for fun 2018-12-30 20:20:35 -06:00
Doug Coleman bedbfe512a Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-12-30 19:27:32 -06:00
Doug Coleman 6507b01190 html.parser.printer: Fix word. 2018-12-30 17:19:23 -06:00
Doug Coleman 841b0528fd factor.xml: CHAR: to char: 2018-12-30 17:15:36 -06:00
Doug Coleman d69f75f373 unicode.collation: Fix Factor error, the remaining errors are unicode spec errors. 2018-12-30 17:05:49 -06:00
Doug Coleman 7ffb86eb67 unicode.case: Apostrophe is now a word break, instead the right single quote is what we want here.
Unicode changed, the file changed, it's different now.

File in question: basis/unicode/UCD/auxiliary/WordBreakProperty.txt
2018-12-30 16:51:54 -06:00
Doug Coleman bd0e67beee UCA, UCD: update 2018-12-30 16:41:57 -06:00
Doug Coleman 81d7e86494 modern: update CHAR: 2018-12-30 16:29:46 -06:00
Doug Coleman e1d48ba12f Merge branch 'master' into modern-harvey3 2018-12-30 16:26:49 -06:00
Doug Coleman 56b8e74789 directory-to-file: Better nested syntax. 2018-12-27 16:59:42 -06:00
Doug Coleman 438e69b233 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-12-26 12:56:41 -06:00
Doug Coleman d5b153596d Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-12-16 13:31:33 -06:00
Doug Coleman 3ac71a1317 macos: Update -> to send: 2018-12-16 13:08:43 -06:00
Doug Coleman 434879a802 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-12-16 12:51:26 -06:00
Doug Coleman da56804031 tools.walker: No paren in middle of word. 2018-09-30 13:38:11 -05:00
Doug Coleman ee2f198fe8 ui.theme: Fix merge. 2018-09-30 13:36:35 -05:00
Doug Coleman 033e136590 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-09-29 00:27:36 -05:00
Doug Coleman 65fcf8208e machine-learning.one-hot: Better error checking. 2018-09-08 09:33:00 -05:00
Doug Coleman 29b549563b build.sh: Bad syntax for fetch command. 2018-09-08 09:32:38 -05:00
Doug Coleman d21af6e975 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-09-04 00:09:24 -05:00
Doug Coleman 47b38345d0 factor: Rename short to shorted. rename setup-each. fix usings. 2018-09-04 00:08:41 -05:00
Doug Coleman 4b10899bc8 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-08-28 21:03:46 -05:00
Doug Coleman d37ca71375 Merge branch 'modern-harvey3' of factorcode.org:/git/factor into modern-harvey3 2018-08-24 16:49:44 -05:00
Doug Coleman fdb5383f19 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-08-24 16:49:34 -05:00
Doug Coleman de903b4ee2 io.files.temp: When using temp-file, it's possible that it fails since
the temporary-directory does not exist yet.

Always check if the directory exists and create it if not.
2018-08-12 21:12:58 -05:00
Doug Coleman b98ace932b modern: Fix using lists. 2018-08-12 21:12:43 -05:00
Doug Coleman a526fd0011 Merge remote-tracking branch 'origin/master' into modern-harvey3 2018-08-12 17:56:14 -05:00
Doug Coleman 518e936813 webapps.help: All docs.factorcode.org traffic should go to https.
Per request on irc.
2018-08-12 17:50:15 -05:00
Doug Coleman cbfdf2cfa8 factor: Add more parser guts. 2018-08-10 18:01:19 -05:00
Doug Coleman 4bcae2590c factor: Rename all #foo words except # so # can be a sigil. 2018-08-10 13:15:25 -05:00
Doug Coleman 24d266c1f1 lexer: Add #hashtag support. 2018-08-10 10:42:00 -05:00
Doug Coleman 9c7fdc3a34 alien tests: use UNIT-TEST: for fun 2018-08-10 08:54:10 -05:00
Doug Coleman 9df90f9c87 tools.test: add MUST-FAIL: and MUST-FAIL-WITH:, still need named versions of these 2018-08-10 08:53:40 -05:00
Doug Coleman 3f0f387cbe calendar.parser: fix : in word name 2018-08-09 22:04:08 -04:00
Doug Coleman 8c3df2ede4 core: Remove some foo'bar words and a lot of postpone: 2018-08-09 21:59:15 -04:00
Doug Coleman f05c7e8cd8 factor: char: a -> ch'a.
Also all contractions are not allowed in word names anymore. Even Data cannot use contractions...
2018-08-09 18:02:38 -04:00
Doug Coleman e06eb4ad3e parser: Refactor the parser some. scan-datum vs scan-token come on... 2018-08-09 17:21:06 -04:00
Doug Coleman bd329c7497 lexer: Add char: \' support. Fix ch'\' support 2018-08-09 16:13:50 -04:00
Doug Coleman 59f406b64e parser: Add ``tag'payload`` and ``tag: payload`` 2018-08-09 15:59:12 -04:00
Doug Coleman 7b48017cd1 sequences: Add cut-head and cut-tail. 2018-08-07 16:52:51 -04:00
Doug Coleman 1355c94f33 alien.libraries.finder: Roll the *.os vocabs back into alien.libraries.finder for fun. 2018-08-07 16:34:25 -04:00
Doug Coleman f09eade430 listener: crazy syntax for homoiconic stack 2018-08-07 16:33:48 -04:00
Doug Coleman 8eea6188bd modern: Fix rewriting ![[ ]] and ![=[ ]=] 2018-08-07 15:06:45 -04:00
Doug Coleman f52694159f bootstrap.syntax: dead code -> deleted 2018-08-07 14:40:31 -04:00
Doug Coleman c00487b3ee bootstrap.layouts: calculate num-types 2018-08-07 14:27:25 -04:00
Doug Coleman 6b1318885d core: trim down some usings. 2018-08-07 10:58:17 -04:00
Doug Coleman 1b8b366444 modern: fix rewriting backslashes and whitespace. 2018-08-07 09:55:26 -04:00
Doug Coleman c3f12c945d parser: fix using 2018-08-07 09:45:11 -04:00
Doug Coleman 00fb574a8d factor: SYMBOL: foo foo [ bar ] initialize -> INITIALIZED-SYMBOL: foo [ bar ] 2018-08-04 21:53:05 -04:00
Doug Coleman 8bb69eadf9 vocabs.platforms: Execute top-level code if there is any in <FOO FOO> sections. 2018-08-04 19:49:07 -04:00
Doug Coleman 227e9d6672 dns: Remove evil platform files. 2018-08-04 11:12:54 -04:00
Doug Coleman 8ff702c069 help: Allow factor[[]] as $example 2018-08-04 11:04:03 -04:00
Doug Coleman 66889b9552 modern.compiler: add more arity words and dead code 2018-08-04 10:01:43 -04:00
Doug Coleman d40d360616 dns: use <OS 2018-08-04 10:01:34 -04:00
Doug Coleman e6715f41a5 core: Add factor[[ ]] and <factor> to hold Factor strings. 2018-08-04 09:48:42 -04:00
Doug Coleman 24929aadf1 core: <WINDOWS <MACOS <UNIX <LINUX in core. 2018-08-04 09:32:09 -04:00
Doug Coleman 0ae3ac3e8a core: Add private word. 2018-08-04 09:04:51 -04:00
Doug Coleman 3944515af3 factor: Fix some syntax errors. 2018-08-03 22:36:21 -04:00
Doug Coleman 1f2d755c0f modern: Fix \\ to do nothing. 2018-08-03 22:35:13 -04:00
Doug Coleman 73644eda85 modern.out: Write literals better. 2018-08-03 17:22:00 -04:00
Doug Coleman 60f66bfb42 modern.out: Don't write an extra newline to the end of files. 2018-08-03 11:36:45 -04:00
Doug Coleman 947793673a modern: Save whitespace...seems to just work? 2018-08-03 11:31:07 -04:00
Doug Coleman 46e930874a sequences.extras: Fix merge-slices 2018-08-03 11:28:47 -04:00
Doug Coleman 0a77f6c679 factor: fixing [[ ]] and some unit tests 2018-08-02 18:29:04 -04:00
Doug Coleman 343674189c factor: Let url"" and sbuf"" work without spaces.
Also url[[]] if you define a url[[ word.
2018-08-02 10:37:02 -04:00
Doug Coleman c715b0d505 factor: fix load-all 2018-08-02 09:23:30 -04:00
Doug Coleman 1a57f8180a modern.out: Fix using 2018-08-02 08:49:20 -04:00
Doug Coleman acc5dc6add pcre: fix :: 2018-08-02 08:39:31 -04:00
Doug Coleman 924b434336 Revert "factor: vocab:word -> vocab::word"
This reverts commit 354f1cbd34.
2018-08-02 08:21:52 -04:00
Doug Coleman ac58033aff alien.library: fix docs circularity 2018-08-02 08:06:16 -04:00
Doug Coleman a1ad3385b9 factor: more char: 2018-08-02 08:03:45 -04:00
Doug Coleman 7730fc5c64 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-08-02 07:57:42 -04:00
Doug Coleman 69c000088d Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-06-29 03:17:55 -05:00
Doug Coleman 53b1a81049 Merge branch 'master' into modern-harvey2 2018-06-20 00:26:12 -05:00
Doug Coleman ca5e76ef1e fjsc: all my gits complainin about this one 2018-06-19 23:55:37 -05:00
Doug Coleman 62ff48da56 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-04-21 14:45:35 -05:00
Doug Coleman cbf77f34cc extra: updates 2018-03-23 18:01:15 -05:00
Doug Coleman 2c7a579ecd cocoa: Update. 2018-03-23 17:59:10 -05:00
Doug Coleman 25bf216bf4 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-03-23 16:36:01 -05:00
Doug Coleman 4c164b1ae6 factor: change some spacing with ; on its own line 2018-03-19 00:03:27 -05:00
Doug Coleman 6bed1364f2 factor: update syntax. 2018-03-18 23:14:46 -05:00
Doug Coleman da19b780b1 factor: all-paths [ ] rewrite-paths 2018-03-18 23:09:46 -05:00
Doug Coleman 5d66a88b0d modern: Disable <foo> matching. 2018-03-18 18:27:49 -05:00
Doug Coleman df20fb9ddb Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-03-18 17:30:26 -05:00
Doug Coleman ddfe23ccca Merge branch 'master' into modern-harvey2 2018-03-15 11:48:24 -05:00
Doug Coleman e7cd3e3635 Merge remote-tracking branch 'origin' into modern-harvey2 2018-03-11 00:44:10 -06:00
Doug Coleman c7f12617a6 factor: port changes. 2018-03-06 19:07:37 -06:00
Doug Coleman 64ccdc40a0 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-03-06 10:57:40 -06:00
Doug Coleman c041cc69f0 boolean-expr: fix load error 2018-02-18 12:46:02 -06:00
Doug Coleman c53892a128 bootstrap.syntax: Fix bootstrap. 2018-02-18 11:41:02 -06:00
Doug Coleman a2e8fb9050 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-02-18 11:29:09 -06:00
Doug Coleman 6338e5308d Merge branch 'modern-harvey2' of factorcode.org:/git/factor into modern-harvey2 2018-02-16 21:24:55 -06:00
Doug Coleman 5c3f6a2a8d Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-02-11 14:47:21 -06:00
Doug Coleman 6614e8b414 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-02-10 15:26:43 -06:00
Doug Coleman 50a768f6e2 windows: fix bootstrap 2018-02-10 15:04:43 -06:00
Doug Coleman a19c2b0c33 extra: fix namespacing 2018-02-10 12:54:25 -06:00
Doug Coleman 1b5afce9f8 gpu.shaders: Fix docs 2018-02-10 12:12:51 -06:00
Doug Coleman ab9d9bfe04 minesweeper: port to new parser syntax. 2018-02-10 11:43:24 -06:00
Doug Coleman ddcd6b2af0 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-02-10 11:18:18 -06:00
Doug Coleman 804f605680 boids: fix using 2018-02-10 10:51:50 -06:00
Doug Coleman be5f77a319 multi-methods: Rename stuff. About to refactor. 2018-01-28 11:42:58 -06:00
Doug Coleman de247bf0fa cocoa: METHOD: -> COCOA-METHOD: for now. 2018-01-28 09:15:33 -06:00
Doug Coleman 81d713f6e6 syntax: Add INITIALIZED-SYMBOL:, STARTUP-HOOK:, and SHUTDOWN-HOOK: 2018-01-28 01:34:51 -06:00
Doug Coleman d2d8f02d50 decimals: break a word up. 2018-01-27 12:01:51 -06:00
Doug Coleman 144da45241 math.vectors.simd: fix functor. 2018-01-27 12:01:51 -06:00
Doug Coleman 5ef60f2f21 math.vectors.simd: better implementation. 2018-01-27 12:01:51 -06:00
Doug Coleman 06dd84bc69 cocoa: update syntax 2018-01-27 10:38:35 -06:00
Doug Coleman 5d8b912216 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-01-27 09:43:21 -06:00
Doug Coleman f5853bda82 Merge remote-tracking branch 'origin/master' into modern-harvey2 2018-01-17 17:38:39 -06:00
Doug Coleman 3cbe0a1598 core: add ': 2018-01-02 22:32:23 -08:00
Doug Coleman daa7be5b7f core: fix bootstrap. 2018-01-02 22:31:08 -08:00
Doug Coleman a52d513883 cli.git: Get the branch name instead of HEAD sometimes. 2018-01-02 19:51:48 -08:00
Doug Coleman 72833e950a modern: Handle ``3</foo>`` 2017-12-31 18:40:38 -08:00
Doug Coleman 14216fd486 modern: Support ``<tag> </tag>``, ``<tag/>``, and ``<tag a: 1/>``
Eventually we can support <html></html> with no spaces.
Look into supporting <tag a="1"/> instead of <tag a: 1/>
2017-12-31 17:49:12 -08:00
Doug Coleman f9991cd248 modern: Fix ': parsing. 2017-12-31 14:34:17 -08:00
Doug Coleman 825891c7ef syntax: add ': for fried words 2017-12-29 11:09:53 -08:00
Doug Coleman 957733a147 modern.out: fix scope 2017-12-29 11:09:46 -08:00
Doug Coleman 63837139cd extra: fix word/syntax 2017-12-29 00:50:16 -08:00
Doug Coleman 9de4592de5 pcre: fix word scope 2017-12-29 00:47:48 -08:00
Doug Coleman ef7fafd07e modern: word got removed, use different one 2017-12-29 00:44:37 -08:00
Doug Coleman 354f1cbd34 factor: vocab:word -> vocab::word 2017-12-29 00:43:25 -08:00
Doug Coleman 30905e9aa8 stage2: remove debugging 2017-12-28 23:16:11 -08:00
Doug Coleman ef0fe3f61a math.vectors.simd.cords: fix whitespace 2017-12-28 19:30:13 -08:00
Doug Coleman 2de1c21781 modern.paths: remove a ton of words 2017-12-28 19:29:44 -08:00
Doug Coleman b535707035 modern.paths: remove functors special casing. they should all work now. 2017-12-28 19:18:49 -08:00
Doug Coleman d096d6b740 functors: no UPPER: in stack effects 2017-12-28 19:15:31 -08:00
Doug Coleman 92f7613545 math.blas.matrices: Remove dead code 2017-12-28 19:09:11 -08:00
Doug Coleman 10d59ade55 functors: use SYNTAX: instead of top-level code 2017-12-28 19:06:10 -08:00
Doug Coleman a40fef851a math.blas.matrices: port back to new functors 2017-12-28 18:51:51 -08:00
Doug Coleman 41859c47e7 math.blas.vectors: strings 2017-12-28 18:51:32 -08:00
Doug Coleman bb07cd3d48 functors2: same -> inline 2017-12-28 18:51:21 -08:00
Doug Coleman b095c40e73 math.blas.vectors: Use new functors. 2017-12-28 18:30:26 -08:00
Doug Coleman 048f86f366 math.blas: move back 2017-12-28 18:04:07 -08:00
Doug Coleman b6dcb71a1a math.similarity: fix using 2017-12-28 17:55:01 -08:00
Doug Coleman c84805146d ui.gadgets.charts.lines: Fix using list.
Use ``SPECIALIZED-ARRAYS: float`` in order to create it if it doesnt exist.
2017-12-28 17:54:54 -08:00
Doug Coleman 9c5804777b gml.ui: fix color: 2017-12-28 17:47:25 -08:00
Doug Coleman efa9b2d01d functors2: rename SAME-FUNCTOR: to INLINE-FUNCTOR: 2017-12-28 17:28:58 -08:00
Doug Coleman 5c18a4514d random.sfmt: move back again 2017-12-28 17:27:39 -08:00
Doug Coleman f7d9b7d50d gml: fix simd 2017-12-28 17:16:22 -08:00
Doug Coleman 887184e0e5 math.factors.simd: fix repr 2017-12-28 17:16:12 -08:00
Doug Coleman f24a2e8ef7 present: add present for pointer 2017-12-28 17:15:51 -08:00
Doug Coleman 233c3dcebd cords: updated functors syntax. ugly. 2017-12-28 16:52:05 -08:00
Doug Coleman 7ccaf78071 removed: redadd these. 2017-12-28 16:03:25 -08:00
Doug Coleman 032e819f3c simd: Port to new functors. kind of ugly. 2017-12-28 16:03:14 -08:00
Doug Coleman d8a947b53d functors: workin on it 2017-12-27 20:58:00 -08:00
Doug Coleman 43bc6c08d6 factor: fix load 2017-12-26 16:06:54 -08:00
Doug Coleman 79ae918e29 basis: buncha simd moved 2017-12-26 15:46:08 -08:00
Doug Coleman d835fd8b82 present: add a ``M\\ callable present`` 2017-12-26 15:45:35 -08:00
Doug Coleman 1e9b407037 alien.complex: Fix functor 2017-12-26 12:04:00 -08:00
Doug Coleman 1ca1a9b6b3 compiler: move simd for now 2017-12-26 12:03:50 -08:00
Doug Coleman 7b62d963c7 compiler.tree.debugger: fix _ 2017-12-26 12:03:35 -08:00
Doug Coleman 38e93e9308 functors2: Redo FROM: for same-functors. Execute top-level code from functors, too. 2017-12-26 11:49:20 -08:00
Doug Coleman d6c834cea9 tuple-arrays: load fix 2017-12-25 15:36:59 -08:00
Doug Coleman a9b437c5f4 modern.compiler: fix identifiers more 2017-12-25 15:06:28 -08:00
Doug Coleman f27c35a7dd basis: fix bit-vectors 2017-12-25 15:06:14 -08:00
Doug Coleman 0134a5fc3f alien.fortran: better name 2017-12-24 20:24:49 -08:00
Doug Coleman fbeb5a7b1a modern.compiler: fix a couple identifier words. 2017-12-24 20:09:49 -08:00
Doug Coleman f1926d3423 factor: extra works!
extra-vocabs [ dup . flush vocab>identifiers ] map
2017-12-24 19:59:02 -08:00
Doug Coleman deef6a0744 extra: Annotations imported a bad CAPS: 2017-12-24 19:21:35 -08:00
Doug Coleman a35dd209c3 modern: basis works with vocabs>identifiers
basis-vocabs [ dup . flush vocab>identifiers ] map
2017-12-24 19:16:13 -08:00
Doug Coleman b865681a39 modern: Can turn all of the core vocabs into tuples now.
core-bootstrap-vocabs [ dup . flush vocab>identifiers ] map
2017-12-24 18:27:30 -08:00
Doug Coleman 4b58fb57a6 modern.compiler: add strings 2017-12-24 15:58:26 -08:00
Doug Coleman ed43df35fb modern: Allow FOO: FOO; again 2017-12-24 15:14:03 -08:00
Doug Coleman 7785fea284 gadgets.labeled: Fix COLOR: to color: 2017-12-24 15:13:43 -08:00
Doug Coleman 3d83bb9f06 Merge remote-tracking branch 'local-master/master' into modern-harvey2 2017-12-24 14:59:58 -08:00
Doug Coleman c79b4f2e61 travis: Don't test forestdb anymore. 2017-12-10 13:02:35 -06:00
Doug Coleman 588c591424 modern: no concatenative syntax yet. 2017-12-03 23:13:00 -06:00
Doug Coleman b14955365c modern: better compound literals. 2017-12-03 22:47:44 -06:00
Doug Coleman 57872a8a17 modern: Clearer concatenative lexing check. 2017-12-03 22:23:28 -06:00
Doug Coleman 527fa59fc6 modern: A little less duplication. 2017-12-03 21:45:19 -06:00
Doug Coleman 8a07105d9d factor: Fix spacing found by ``all-factor-paths [ ] rewrite-paths`` 2017-12-03 19:23:37 -06:00
Doug Coleman 650bff4793 modern: A bit of duplication but it all works?
The top vs nested parsing can be cleaned up with a flag but the stack shuffling has to be done....
2017-12-03 19:21:37 -06:00
Doug Coleman 3a95591005 merger: COLOR: -> color: 2017-12-03 19:21:14 -06:00
Doug Coleman 7f51295293 modern: refactoring.
realized that functors with names like ( T: int -- ) don't work like they are supposed to because of nesting.
2017-12-03 19:11:01 -06:00
Doug Coleman 06e40a39bc modern.slices: Add a way to push characters back to the buffer. 2017-12-03 18:31:08 -06:00
Doug Coleman 411c2376c7 modern: Don't keep around duplicate closing delimiters like { ")" ")" } for stack effects. 2017-12-03 17:09:31 -06:00
Doug Coleman 76ce988587 factor: punt on other functors until the new parser compiles them. 2017-12-03 10:52:21 -06:00
Doug Coleman 49981c22db alien.complex.functor: functors2 2017-12-03 10:52:03 -06:00
Doug Coleman dbfeeebe38 compiler: Ghetto functor hack for now.
Quotations are strings temporarily. This is because unparse is not in core, so you can't just interpolate a quotation text into a template.
2017-12-02 19:54:11 -06:00
Doug Coleman 8e8b5f59f5 factor: update sorting functor by adding a name type to functors2. 2017-12-02 19:05:25 -06:00
Doug Coleman 3964553ed5 functors: use in compiler. 2017-12-02 18:07:34 -06:00
Doug Coleman 56d437a1e7 alien.destructors: new functors. 2017-12-02 17:21:49 -06:00
Doug Coleman 7616f6e95d factor: add inlined quotations in stack effects 2017-12-02 16:38:11 -06:00
Doug Coleman b45af1dcd6 functors: Fix up look sharp 2017-12-02 12:01:02 -06:00
Doug Coleman 036bc70a47 specialized-arrays: bootstraps 2017-12-02 10:41:57 -06:00
Doug Coleman 1950722e04 functors2: Fix IN: for same-functor 2017-12-02 10:12:04 -06:00
Doug Coleman 78eea5071b annotations: Use SAME-FUNCTOR: to put in the annotations vocab. 2017-12-02 08:06:38 -06:00
Doug Coleman 43e0ce4977 functors2: terrible duplication but about to reimplement it in terms of functors. 2017-12-02 08:05:27 -06:00
Doug Coleman ec05bf7be9 core: Add support for quotations inside stack-effects.
Disabled: Preconditions for functors are awkward to implement without creating new syntax. Instead, allow stack effects of the form ( x: [ 1 + ] -- y ) everywhere.
2017-11-25 18:44:37 -06:00
Doug Coleman 384ffc1025 specialized-arrays: Works as a new functor!! 2017-11-24 21:46:16 -06:00
Doug Coleman f8c54fd2bf core: Move new functors to core.
Also move enough to implement them in an ok style. I would prefer to use formatting in core, but it depends on calendar, etc.
2017-11-24 20:06:44 -06:00
Doug Coleman bc285f7072 core: Move multiline and interpolate to core.
caveats: peg.ebnf needs to find :> and let[ in "syntax" not locals anymore.
- You have to define a word ``IN: syntax`` before Factor picks up syntax changes
- You have to add a syntax word to core/bootstrap/syntax.factor
2017-11-24 19:12:04 -06:00
Doug Coleman 43628c8340 core: Move more things to core.
Tricky things:
f props>> == @ _ are not defined in syntax
2017-11-24 18:42:30 -06:00
Doug Coleman 085dbe716f core: Move hashtables.identity and hashtables.wrapped into core. 2017-11-24 16:46:47 -06:00
Doug Coleman 05387aa750 namespaces.extras: Fix new functors. 2017-11-23 02:44:22 -06:00
Doug Coleman 9eecd977c9 namespaces.extras: Try to use generate-vocab. 2017-11-22 22:32:16 -06:00
Doug Coleman c73541919c ui.backend.cocoa.views: Remove touchbar stuff for now. 2017-11-22 16:28:11 -06:00
Doug Coleman 1a1e407939 bootstrap.image.upload: Change username. 2017-11-22 15:45:31 -06:00
Doug Coleman f79a135a77 Merge remote-tracking branch 'origin/master' into modern-harvey 2017-11-22 15:40:25 -06:00
Doug Coleman b19b521b9c namespaces.extras: Add a new functors prototype.
IN: foo
FUNCTOR: foo goes into the vocab where it's declared

Instantiated ``FOO: bar`` go into ``foo:functors:foo:bar:92801082101``
2017-11-22 15:39:46 -06:00
Doug Coleman bf82be86b1 Merge branch 'master' into modern-harvey 2017-11-11 11:45:46 -06:00
Doug Coleman 8c14132c9b io.files.info.windows: Fix rename. 2017-11-11 14:18:32 -06:00
Doug Coleman ce38445abc modern: line endings 2017-10-27 20:25:43 -05:00
Doug Coleman b9e2b14cf0 modern: fix FOO>bar to \FOO>bar 2017-10-27 20:24:37 -05:00
Doug Coleman 8b2e42300f modern: Fix FOO>bar and remove duplicated words. 2017-10-27 20:24:12 -05:00
Doug Coleman 1fda1f7525 windows: FOO>bar is a section end FOO>, so use \FOO>bar for now. 2017-10-27 20:22:22 -05:00
Doug Coleman 0319ff7920 math: rename >fraction to fraction>parts 2017-10-27 20:21:48 -05:00
Doug Coleman 815591e10c factor: m: { a b } -> M\\ a b 2017-10-12 21:22:41 -05:00
Doug Coleman 5e1295f89e modern: Add error checking for enough tokens.
modern.slices had a bug in find-from* where it was taking the length of
a quotation instead of the original string.
2017-10-12 19:26:07 -05:00
Doug Coleman 083d08878a modern: Support one: 1 two:: 1 2 three::: 1 2 3 syntax
Also M\ 1 M\\ 1 2 M\\\ { { { etc
2017-10-12 19:10:44 -05:00
Doug Coleman b3bd9b1215 find.extras: Fix syntax for new parser 2017-10-12 18:46:02 -05:00
Doug Coleman d7c12986c6 math.similarity: Add Jaccard similarity metric 2017-10-11 17:17:05 -05:00
Doug Coleman e9ad224752 libssl: Fix SSL struct again.
int main() {
	SSL *ssl;
	printf("sizeof SSL %lu\n", sizeof(SSL));
	printf("SSL_MAX_SID_CTX_LENGTH %d\n", SSL_MAX_SID_CTX_LENGTH);
	printf("offsetof generate_session_id %ld\n", offsetof(struct ssl_st, generate_session_id));
	printf("offsetof mac_flags %ld\n", offsetof(struct ssl_st, mac_flags));
	printf("offsetof write_hash %ld\n", offsetof(struct ssl_st, write_hash));
	printf("offsetof session %ld\n", offsetof(struct ssl_st, session));
	printf("offsetof error_code %ld\n", offsetof(struct ssl_st, error_code));
	printf("offsetof debug %ld\n", offsetof(struct ssl_st, debug));
	printf("offsetof verify_callback %ld\n", offsetof(struct ssl_st, verify_callback));
	printf("offsetof ctx %ld\n", offsetof(struct ssl_st, ctx));
	printf("offsetof ex_data %ld\n", offsetof(struct ssl_st, ex_data));
	printf("offsetof first_packet %ld\n", offsetof(struct ssl_st, first_packet));
	printf("offsetof verify_result %ld\n", offsetof(struct ssl_st, verify_result));
	printf("offsetof client_CA %ld\n", offsetof(struct ssl_st, client_CA));
	printf("offsetof references %ld\n", offsetof(struct ssl_st, references));
	printf("offsetof tlsext_status_type %ld\n", offsetof(struct ssl_st, tlsext_status_type));
	printf("offsetof tlsext_ocsp_resplen %ld\n", offsetof(struct ssl_st, tlsext_ocsp_resplen));
	printf("offsetof tlsext_ecpointformatlist %ld\n", offsetof(struct ssl_st, tlsext_ecpointformatlist));
	printf("offsetof tls_session_ticket_ext_cb_arg %ld\n", offsetof(struct ssl_st, tls_session_ticket_ext_cb_arg));
	printf("offsetof next_proto_negotiated %ld\n", offsetof(struct ssl_st, next_proto_negotiated));
	printf("offsetof alpn_client_proto_list_len %ld\n", offsetof(struct ssl_st, alpn_client_proto_list_len));
	printf("offsetof srp_ctx %ld\n", offsetof(struct ssl_st, srp_ctx));
	return 0;
}

clang ssl.c -I /usr/local/opt/openssl/include && ./a.out
2017-10-08 00:04:29 -05:00
Doug Coleman 9a7406d98d Revert "Revert "openssl.libssl: The SSL struct has grown a lot.""
This reverts commit 86c086bafc.
2017-10-07 23:31:06 -05:00
Doug Coleman ccaad8b3be cuda: Update api to 9.0+ 2017-10-07 21:14:48 -05:00
Doug Coleman 4b35f2e0d9 factor: fix bootstrap. 2017-10-04 22:39:20 -05:00
Doug Coleman cada003d7f factor: Rename ``M\ array generic`` to ``m: { array generic }``.
The problem with M\ is that it has an arity of 1 where we need it to have arity 2. Also, for multimethods, the \ disables parsing of the array that follows, e.g. ``M\ { string string } multimethod-name`` parses as ``M\ {`` and leaves the rest unparsed. This is obviously wrong.

An alternative syntax that should be implement and looks ok is ``m{ array generic }``
2017-10-01 09:51:31 -05:00
Doug Coleman 8e14c52dd1 game.input.demos.key-caps: \foo\ syntax works. 2017-09-30 21:33:26 -05:00
Doug Coleman a450350854 modern.compiler: literals>tuples works. 2017-09-30 17:32:18 -05:00
Doug Coleman 57e668d704 modern.compiler: Convert slices to objects. 2017-09-30 14:14:38 -05:00
Doug Coleman 6fe38fde00 modern: Fix case for "<PRIVATE FOO: foo PRIVATE>"
At the end of a file the length of the string is f, so this needs to be
fixed up for calculations.
2017-09-30 14:14:38 -05:00
Doug Coleman 2ce052c981 vm: Line up larger memory output. 2017-09-30 14:14:38 -05:00
Doug Coleman f0e121051d find.extras: Add an old prototype parser and some cool util words.
These words are not fast enough to be the main parser.
2017-09-30 13:58:59 -05:00
Doug Coleman affbc492d7 modern.compiler: wip 2017-09-30 08:52:03 -05:00
Doug Coleman 5a8f9284ab sequences.extras: add count-head and count-tail 2017-09-28 22:41:21 -05:00
Doug Coleman 577d4618ca core: keep nip cleanup. 2017-09-28 22:20:32 -05:00
Doug Coleman 5582ea1b02 escape-strings: Fix case where string ends in ] or ]=
Add escape-strings for nested strings.
2017-09-28 22:19:46 -05:00
Doug Coleman 86c086bafc Revert "openssl.libssl: The SSL struct has grown a lot."
This reverts commit a1fe918276.

Crashes.
2017-09-24 23:16:01 -05:00
Doug Coleman a1fe918276 openssl.libssl: The SSL struct has grown a lot.
Maybe this is related to #1860.
2017-09-24 23:09:23 -05:00
Doug Coleman 8e4fe207f1 modern: Fix compound syntax unit tests. 2017-09-24 22:22:40 -05:00
Doug Coleman 516a6909ac unicode: Bump the version number, use CONSTANT: 2017-09-24 19:27:18 -05:00
Doug Coleman f7ddfb44b7 unicode.collation: Fixes 40k+ unit tests, but is a change from Unicode 9.0 to 10.0
It looks like the fourth weights in the collation algorithm now generate fewer 0xffff, particularly when the secondary and tertiary slots are zero.
2017-09-24 19:26:02 -05:00
Doug Coleman 341f2c3307 xml: Word names like foo]] are not allowed.
Names like foo]] are alternative syntax for closing foo[ ] forms, e.g. foo[ foo].

foo]] parses as a foo] closer and then another ]
2017-09-24 13:15:10 -05:00
Doug Coleman c3e137c08a escape-strings: Fix syntax. 2017-09-24 13:12:49 -05:00
Doug Coleman e8a72b0268 modern: Disallow compound syntax for now. 2017-09-24 12:40:32 -05:00
Doug Coleman b8a502d7e2 math.functions.integer-logs: Word names like (foo) should only exist if foo exists. 2017-09-24 12:32:09 -05:00
Doug Coleman c1bdb4b11e unicode: Update to Unicode 10.0 from last year's patch. 2017-09-20 21:00:31 -05:00
Doug Coleman f5657ac469 Merge branch 'modern-harvey' of github.com:factor/factor into modern-harvey 2017-09-20 18:19:36 -05:00
Doug Coleman 4c017a7f76 zealot: use n-groups 2017-09-18 19:27:58 -05:00
Doug Coleman 03db55e15b Merge remote-tracking branch 'origin/master' into modern-harvey 2017-09-18 17:37:25 -05:00
Doug Coleman e42fcb812e Merge remote-tracking branch 'origin/master' into modern-harvey 2017-09-18 17:34:40 -05:00
Doug Coleman 4b065d4790 tools.test: Working on crazy unit tests. 2017-09-16 23:25:54 -05:00
Doug Coleman 9ef9cae60f escape-strings: Add a way to find minmal escapes for a lua/magic
string.
2017-09-16 17:21:31 -05:00
Doug Coleman 722a335b68 io.streams.string: Add with-error-string-writer for unit testing. 2017-09-16 16:57:41 -05:00
Doug Coleman aeebe0bbbe debugger: Support for assert-string 2017-09-16 16:50:17 -05:00
Doug Coleman 6939b2ca5f io.errors: Add words to print to error-stream as easily as to
output-stream.
2017-09-16 16:50:04 -05:00
Doug Coleman 3c8da3722d sequences: Add assert-string=.
assert-sequence= prints strings as sequences of numbers, which is less
useful for writing unit tests.
2017-09-16 16:45:42 -05:00
Doug Coleman f32b6a171c tools.test: Add UNIT-TEST: top-level form. 2017-09-16 15:42:10 -05:00
Doug Coleman 76a6235940 zealot.factor: Print a message for each step. 2017-09-16 12:27:04 -05:00
Doug Coleman 4d3bc90e9d zealot: ensure that the github source exists on disk. 2017-09-16 12:21:00 -05:00
Doug Coleman 70076fa7cd tools.coverage: fix using 2017-09-16 11:23:16 -05:00
Doug Coleman 153f5372d3 factor: Really disable long unit tests for zealot. Only test root by
root.
2017-09-16 11:08:35 -05:00
Doug Coleman 122a73b5ac basis: Fix a couple of trivial regressions. 2017-09-16 10:59:33 -05:00
Doug Coleman 0a7b50f208 Revert "tools.deploy.test: shake-and-bake is a long-unit-test"
This reverts commit a09cc13a17.
2017-09-16 10:49:40 -05:00
Doug Coleman a09cc13a17 tools.deploy.test: shake-and-bake is a long-unit-test 2017-09-16 10:23:29 -05:00
Doug Coleman 00c4069640 zealot.factor: Disable long unit tests. 2017-09-16 09:58:59 -05:00
Doug Coleman 953ddc566f factor: Fix test errors. 2017-09-16 08:58:20 -05:00
Doug Coleman 1b138a74ec zealot.factor: Test core, load basis and extra images for testing. 2017-09-16 06:38:11 -05:00
Doug Coleman 3dc8f5e039 core: Fix using list. 2017-09-16 06:32:01 -05:00
Doug Coleman fbbf2eb550 zealot.factor: Try to load/test basis/extra in two processes. 2017-09-16 02:24:39 -05:00
Doug Coleman 51d5ca0695 zealot: Load basis/extra in parallel. 2017-09-16 02:05:45 -05:00
Doug Coleman 160632c3e6 Nmakefile: Let cl decide how many threads to use. 2017-09-15 19:40:26 -05:00
Doug Coleman 233d29d8de Nmakefile: Parallel! 2017-09-15 19:07:29 -05:00
Doug Coleman ea429d347d rosetta-code: Can't use array[ ] on words that are not compiled yet. 2017-09-15 17:56:01 -05:00
Doug Coleman c24680b93d zealot: tweak to make it work on windows.
mason uses build.cmd to build factor, but that's super slow for some
reason. using nmake gives you normal speeds!
2017-09-15 17:25:16 -05:00
Doug Coleman 7ff2b9c345 zealot: Initial commit.
Zealot is a replacement for mason that allows parallel testing, testing
branches, and over-engineered git commands.
2017-09-15 01:01:43 -05:00
Doug Coleman 994485a90c cli.git, web-services.github: Better api. 2017-09-15 00:34:50 -05:00
Doug Coleman 6dc30e953e io.pathnames: Add 3append-path. 2017-09-14 23:11:22 -05:00
Doug Coleman b8f9b6f8db gpu.util: fix load error 2017-09-11 18:07:36 -05:00
Doug Coleman ff93f58304 Merge branch 'master' into modern-harvey 2017-09-11 17:59:01 -05:00
Doug Coleman eb1bcf642c factor: fix load-all 2017-09-11 17:46:06 -05:00
Doug Coleman 5d7c397b00 ui.backend.x11.keys: Fix bad refactor. 2017-09-11 17:08:32 -05:00
Doug Coleman 93a358038d build.sh: Update branch. 2017-09-11 17:07:08 -05:00
Doug Coleman e846674a2f basis: Fix load errors. 2017-09-11 17:06:27 -05:00
Doug Coleman 5dd6256550 Merge branch 'master' of git://factorcode.org/git/factor into modern-harvey 2017-09-11 16:39:02 -05:00
Doug Coleman 200b5192ed factor: commit weekend work. 2017-09-11 16:37:47 -05:00
Doug Coleman f5f7770d30 combinators.smart.syntax: Add some useful smart combinators syntax. 2017-09-11 16:37:47 -05:00
Doug Coleman 50602dc1a4 windows.kernel32: Don't use /* */ 2017-09-08 23:33:00 -05:00
Doug Coleman 17f3281844 build.cmd: Let Windows build other branches. 2017-09-08 23:32:45 -05:00
Doug Coleman d4612f2140 Merge branch 'master' of git://factorcode.org/git/factor into modern-harvey 2017-09-06 21:52:37 -05:00
Doug Coleman 060a98a01a modern: Fix unit tests 2017-09-04 14:26:17 -05:00
Doug Coleman 646b627854 factor: remove trailing whitespace 2017-09-04 14:10:34 -05:00
Doug Coleman 3e77867cd2 modern: no postprocessing for concatenated tokens, instead...
take tokens until there is whitespace between them, then start a new
group of tokens
2017-09-04 14:07:52 -05:00
Doug Coleman 0e1eb52c4c modern: the looping is tricky...this version is correct 2017-09-04 11:47:57 -05:00
Doug Coleman d8d7c0cd3c modern: Allow comound literals 2017-09-04 11:33:47 -05:00
Doug Coleman d3497b9f6b modern: working on compound tokens 2017-09-04 11:04:55 -05:00
Doug Coleman 2773cbf889 modern.out: Add a <renamed> word to keep spacing correct when
refactoring.

"math" [ dup { [ slice? ] [ seq>> string? ] } 1&& [ dup >upper <renamed> ] when ] rewrite-vocab
2017-09-03 13:28:39 -05:00
Doug Coleman 9a983d611f modern: refactorig 2017-09-03 12:59:44 -05:00
Doug Coleman 2e89f86d16 modern.compiler: fix map-literals 2017-09-03 12:32:30 -05:00
Doug Coleman 26f74e9d83 modern: working on the compiler 2017-09-03 12:13:06 -05:00
Doug Coleman 7cdede9a5f Merge branch 'master' into modern-harvey 2017-08-31 23:32:47 -05:00
Doug Coleman 1626d19711 git: update syntax 2017-08-31 22:52:00 -05:00
Doug Coleman 29708329ab core: Fix how \words are parsed. 2017-08-31 21:21:15 -05:00
Doug Coleman 199e710597 modern.out: maybe simplify 2017-08-31 21:21:15 -05:00
Doug Coleman 14139f8fad modern.out: Remove symbol. 2017-08-31 21:21:15 -05:00
Doug Coleman 1316cdee79 modern.out: Cleanup. No variable needed. 2017-08-31 21:21:15 -05:00
Doug Coleman 4b61c0b776 modern: Found some more trailing whitespace. 2017-08-31 21:21:15 -05:00
Doug Coleman 3fec06f36e modern.out: Trying to trim trailing whitespace. 2017-08-31 21:21:15 -05:00
Doug Coleman fb6defd60f modern: More whitespace cleanup and rewrite all files except functors! 2017-08-31 21:21:15 -05:00
Doug Coleman e4f64e80bf modern: Remove functor paths for now. 2017-08-31 21:21:15 -05:00
Doug Coleman 1a4d1ce24e modern: exclude basis test path. 2017-08-31 21:21:15 -05:00
Doug Coleman e6ea0392e3 successor: Remove some whitespace. 2017-08-31 21:21:15 -05:00
Doug Coleman 2e68e170fc modern: Rewriting core paths works! 2017-08-31 21:21:15 -05:00
Doug Coleman b826b9bacc modern.out: add rewriting to disk 2017-08-31 21:21:15 -05:00
Doug Coleman 1771fbb909 graphviz: Update this nightmare :p 2017-08-31 21:21:15 -05:00
Doug Coleman c9d2ed1458 help.markup: Allow \ wrapped related-words. 2017-08-31 21:21:14 -05:00
Doug Coleman 6ef39d8b6e factor: Removing /* */ and fixing up using lists. 2017-08-31 21:21:14 -05:00
Doug Coleman ce4c3f2f43 alien.remote-control: Fix I[[ ]] 2017-08-31 21:21:14 -05:00
Doug Coleman c0cad4ed80 classes.struct: Fix SYMBOL: \bit: 2017-08-31 21:21:14 -05:00
Doug Coleman b0858e48b8 core: \foo is literally just foo. To escape it, do ``\ foo`` instead.
Fix smalltalk too.
2017-08-31 21:21:14 -05:00
Doug Coleman fbaa172732 smalltalk: Allow SELECTOR: \foo: and ``M: foo \bar`` 2017-08-31 21:21:14 -05:00
Doug Coleman 5fb483099f cocoa: Prefer ``send: foo`` or ``send: \foo:`` instead of ``send\ foo:`` 2017-08-31 21:21:14 -05:00
Doug Coleman 8d2d8f99e9 modern.out: Write core/ to disk in two ways. 2017-08-31 21:21:14 -05:00
Doug Coleman 4ede4769e2 modern: Fix strings. They were out of order. 2017-08-31 21:21:14 -05:00
Doug Coleman 5bb1c2b520 modern: Fix : ; and add unit tests. 2017-08-31 21:21:14 -05:00
Doug Coleman 55eb8f3c21 modern: make lex-all actually lex everything 2017-08-31 21:21:14 -05:00
Doug Coleman baa6af4831 factor: All RENAME: and FROM: and EXCLUDE: to have \foo as word names.
Grab bag of other cleanups. tests and docs parse!
2017-08-31 21:21:14 -05:00
Doug Coleman 13d9a78ec6 interpolate: [I -> I[[ 2017-08-31 21:21:14 -05:00
Doug Coleman 55df44923f infix: literally just a string dsl. 2017-08-31 21:21:14 -05:00
Doug Coleman dccba5f9c3 compiler: d: and r: had too many spaces. 2017-08-31 21:21:14 -05:00
Doug Coleman 3aa096e2e5 docs: Update docs. 2017-08-31 21:21:14 -05:00
Doug Coleman 4cba08aa8c xml: update syntax. XML-DOC[[ ]] and XML-CHUNK[[ ]] 2017-08-31 21:21:14 -05:00
Doug Coleman 2551028f98 factor: Fixing postpone: etc in docs 2017-08-31 21:21:14 -05:00
Doug Coleman 5a5776068c project-euler.011: Better name for matrix diagonals. 2017-08-31 21:21:14 -05:00
Doug Coleman 22e59d7838 docs: Escaping a lot. 2017-08-31 21:21:14 -05:00
Doug Coleman 15a7484b6f factor: STRING: foo ; to CONSTANT: foo [[ ]] 2017-08-31 21:21:14 -05:00
Doug Coleman 2114b7efc5 factor: ALIEN: to alien: 2017-08-31 21:21:13 -05:00
Doug Coleman 5507c2b676 factor: [let to let[, [| to |[ 2017-08-31 21:21:13 -05:00
Doug Coleman 28ffd303cb factor: random syntax update 2017-08-31 21:21:13 -05:00
Doug Coleman 88e772ef17 docs: postpone: \foo 2017-08-31 21:21:13 -05:00
Doug Coleman 9fc62092a4 factor: SEL: to selector\ postpone: \foo 2017-08-31 21:21:13 -05:00
Doug Coleman 4a2fffe2f3 windows: GUID: to guid: 2017-08-31 21:21:13 -05:00
Doug Coleman 5a119fa9f7 syntax: Allow postpone: \foo 2017-08-31 21:21:13 -05:00
Doug Coleman 3861e85d09 regexp: Allow more syntax. Update yaml. 2017-08-31 21:21:13 -05:00
Doug Coleman 54ef674a99 cocoa: -> to send\ ?-> to ?send\ SUPER-> to super\ 2017-08-31 21:21:13 -05:00
Doug Coleman f561911211 modern: Allow foo\ words 2017-08-31 21:21:13 -05:00
Doug Coleman 147ae66ab5 factor: SYNTAX: \foo 2017-08-31 21:21:13 -05:00
Doug Coleman 7ca280aee6 factor: SYNTAX: \FOO: 2017-08-31 21:21:13 -05:00
Doug Coleman 39a9b21e98 modern: handle \[[ \[=[ 2017-08-31 21:21:13 -05:00
Doug Coleman 161a50c0b8 modern: Still support ``\ foo`` for now. 2017-08-31 21:21:13 -05:00
Doug Coleman fbb5f871c4 compiler: r: d: 2017-08-31 21:21:13 -05:00
Doug Coleman a2eb7b854d core: SYNTAX: should allow \FOO words. 2017-08-31 21:21:13 -05:00
Doug Coleman 15fe8c3844 modern: Backslashes should be like \AVL{ instead of \ AVL{
The only thing that matters is a leading \
Backslashed patterns: \foo \foo\bar
Non-backslashed patterns: foo\bar foo\bar{
2017-08-31 21:21:13 -05:00
Doug Coleman c436f6dbad factor: char: postpone: color: hexcolor: flexhexcolor: decimal: 2017-08-31 21:21:13 -05:00
Doug Coleman 9a94118c9d modern: Fixing backslashes. 2017-08-31 21:21:12 -05:00
Doug Coleman 4f5837b41c modern: Don't need a delimiter stack. Yet? 2017-08-31 21:21:12 -05:00
Doug Coleman bb6ffbd9e2 modern: Allow :foo: and handle :> correctly. Add unit tests. 2017-08-31 21:21:12 -05:00
Doug Coleman 6c5bc17c58 factor: CHAR: ; -> CHAR: \; 2017-08-31 21:21:12 -05:00
Doug Coleman eb173e2caa factor: Add more character escapes. 2017-08-31 21:21:12 -05:00
Doug Coleman 7cf91e005d strings.parser: Add more escape codes. 2017-08-31 21:21:12 -05:00
Doug Coleman 84e40810cd factor: CHAR: : -> CHAR: \:, same for [{( 2017-08-31 21:21:12 -05:00
Doug Coleman f049487021 modern: Add some more terminators. 2017-08-31 21:21:12 -05:00
Doug Coleman acfb3a8992 strings.parser: Add character escapes for :[{(.
You will need to bootstrap or change them to ``char: :`` then ``char: \:`` in strings.parser.
2017-08-31 21:21:12 -05:00
Doug Coleman 2d77edf9a2 modern-tests: Add some unit tests. 2017-08-31 21:21:12 -05:00
Doug Coleman 317c74193d system-info.macosx: Add the next macOS name before @mrjbq7 does! 2017-08-31 21:21:12 -05:00
Doug Coleman 3892047d2d system-info: Add hyperthreads. Windows needs to implement this.
The whole system-info needs a better api in general. At least this patch fixes cli.git on macOS.
2017-08-31 21:21:12 -05:00
Doug Coleman 58e09f4a58 modern: Add some words to lex every root. 2017-08-31 21:20:43 -05:00
Doug Coleman 137384cdea modern: Don't allow patterns like ``foo: ;`` 2017-08-31 21:20:43 -05:00
Doug Coleman c06f0eb5f7 modern: Fix up a bit. 2017-08-31 21:20:43 -05:00
Doug Coleman 530ebd49ee modern: Fix sections. 2017-08-31 21:20:43 -05:00
Doug Coleman e7a5101366 modern: Allow <FOO to interrupt a FOO: 2017-08-31 21:20:43 -05:00
Doug Coleman 69d5125b87 modern: Fix some bugs with (=( and order of tokens. 2017-08-31 21:20:43 -05:00
Doug Coleman f04c919e79 modern: Add a flag for interrupting FOO: words with another FOO: 2017-08-31 21:20:43 -05:00
Doug Coleman 218530209f modern: Add a stripped-down parser from what I had. 2017-08-31 21:20:43 -05:00
1792 changed files with 1297262 additions and 236511 deletions

View File

@ -1,12 +1,12 @@
! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors alien.c-types alien.complex.functor kernel
sequences ;
USING: accessors alien alien.c-types alien.complex.functor
classes.struct kernel math quotations ;
FROM: alien.c-types => float double ;
IN: alien.complex
<<
{ "float" "double" } [ dup "complex-" prepend define-complex-type ] each
>>
COMPLEX-TYPE: float complex-float
COMPLEX-TYPE: double complex-double
<<
! This overrides the fact that small structures are never returned

View File

@ -1,32 +1,27 @@
! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors alien alien.c-types classes.struct functors
kernel math math.functions quotations ;
USING: functors2 ;
IN: alien.complex.functor
<FUNCTOR: define-complex-type ( N T -- )
INLINE-FUNCTOR: complex-type ( n: existing-word t: name -- ) [[
USING: alien alien.c-types classes.struct kernel quotations ;
QUALIFIED: math
N-type IS ${N}
<<
STRUCT: ${t} { real ${n} } { imaginary ${n} } ;
T-class DEFINES-CLASS ${T}
: <${t}> ( z -- alien )
math:>rect ${t} <struct-boa> >c-ptr ;
<T> DEFINES <${T}>
*T DEFINES *${T}
: *${t} ( alien -- z )
${t} memory>struct [ real>> ] [ imaginary>> ] bi math:rect> ; inline
WHERE
>>
STRUCT: T-class { real N-type } { imaginary N-type } ;
\ ${t} lookup-c-type
[ <${t}> ] >>unboxer-quot
[ *${t} ] >>boxer-quot
complex >>boxed-class
drop
: <T> ( z -- alien )
>rect T-class <struct-boa> >c-ptr ;
: *T ( alien -- z )
T-class memory>struct [ real>> ] [ imaginary>> ] bi rect> ; inline
T-class lookup-c-type
<T> 1quotation >>unboxer-quot
*T 1quotation >>boxer-quot
complex >>boxed-class
drop
;FUNCTOR>
]]

View File

@ -30,7 +30,7 @@ HELP: <c-array>
}
} ;
HELP: c-array{
HELP: \c-array{
{ $description "Literal syntax, consists of a C-type followed by a series of values terminated by " { $snippet "}" } }
{ $notes "The appropriate specialized array vocabulary must be loaded; otherwise, an error will be thrown. See the " { $vocab-link "specialized-arrays" } " vocabulary for details on the underlying sequence type constructed." }
{ $errors "Throws an error if the type does not exist, the necessary specialized array vocabulary is not loaded, or the requested size is negative." } ;
@ -182,7 +182,7 @@ $nl
{ $subsections "alien.enums" }
"A utility for defining " { $link "destructors" } " for deallocating memory:"
{ $subsections "alien.destructors" }
"C struct and union types can be defined with " { $link POSTPONE: STRUCT: } " and " { $link POSTPONE: UNION-STRUCT: } ". See " { $link "classes.struct" } " for details. For passing arrays to and from C, use the " { $link "specialized-arrays" } " vocabulary." ;
"C struct and union types can be defined with " { $link postpone: \STRUCT: } " and " { $link postpone: \UNION-STRUCT: } ". See " { $link "classes.struct" } " for details. For passing arrays to and from C, use the " { $link "specialized-arrays" } " vocabulary." ;
HELP: malloc-string
{ $values { "string" string } { "encoding" "an encoding descriptor" } { "alien" c-ptr } }
@ -202,7 +202,7 @@ HELP: <c-direct-array>
{ $notes "The appropriate specialized array vocabulary must be loaded; otherwise, an error will be thrown. See the " { $vocab-link "specialized-arrays" } " vocabulary for details on the underlying sequence type constructed." } ;
ARTICLE: "c-strings" "C strings"
"C string types are arrays with shape " { $snippet "{ c-string encoding }" } ", where " { $snippet "encoding" } " is an encoding descriptor. The type " { $link c-string } " is an alias for " { $snippet "{ c-string utf8 }" } ". See " { $link "encodings-descriptors" } " for information about encoding descriptors. In " { $link POSTPONE: TYPEDEF: } ", " { $link POSTPONE: FUNCTION: } ", " { $link POSTPONE: CALLBACK: } ", and " { $link POSTPONE: STRUCT: } " definitions, the shorthand syntax " { $snippet "c-string[encoding]" } " can be used to specify the string encoding."
"C string types are arrays with shape " { $snippet "{ c-string encoding }" } ", where " { $snippet "encoding" } " is an encoding descriptor. The type " { $link c-string } " is an alias for " { $snippet "{ c-string utf8 }" } ". See " { $link "encodings-descriptors" } " for information about encoding descriptors. In " { $link postpone: \TYPEDEF: } ", " { $link postpone: \FUNCTION: } ", " { $link postpone: \CALLBACK: } ", and " { $link postpone: \STRUCT: } " definitions, the shorthand syntax " { $snippet "c-string[encoding]" } " can be used to specify the string encoding."
$nl
"Using C string types triggers automatic conversions:"
{ $list
@ -211,7 +211,7 @@ $nl
"Passing an already encoded " { $link byte-array } " also works and performs no conversion."
}
{ "Returning a C string from a C function allocates a Factor string in the Factor heap; the memory pointed to by the returned pointer is then decoded with the requested encoding into the Factor string." }
{ "Reading " { $link c-string } " slots of " { $link POSTPONE: STRUCT: } " or " { $link POSTPONE: UNION-STRUCT: } " returns Factor strings." }
{ "Reading " { $link c-string } " slots of " { $link postpone: \STRUCT: } " or " { $link postpone: \UNION-STRUCT: } " returns Factor strings." }
}
$nl
"Care must be taken if the C function expects a pointer to a string with its length represented by another parameter rather than a null terminator. Passing the result of calling " { $link length } " on the string object will not suffice. This is because a Factor string of " { $emphasis "n" } " characters will not necessarily encode to " { $emphasis "n" } " bytes. The correct idiom for C functions which take a string with a length is to first encode the string using " { $link encode } ", and then pass the resulting byte array together with the length of this byte array."

View File

@ -46,7 +46,7 @@ SPECIALIZED-ARRAY: foo
{ f } [ B{ } binary-zero? ] unit-test
{ t } [ S{ foo f 0 f f } binary-zero? ] unit-test
{ f } [ S{ foo f 1 f f } binary-zero? ] unit-test
{ f } [ S{ foo f 0 ALIEN: 8 f } binary-zero? ] unit-test
{ f } [ S{ foo f 0 alien: 8 f } binary-zero? ] unit-test
{ f } [ S{ foo f 0 f t } binary-zero? ] unit-test
{ t t f } [
foo-array{

View File

@ -66,7 +66,7 @@ M: word <c-direct-array>
M: pointer <c-direct-array>
drop void* <c-direct-array> ;
SYNTAX: c-array{ \ } [ unclip >c-array ] parse-literal ;
SYNTAX: \c-array{ \ \} [ unclip >c-array ] parse-literal ;
SYNTAX: c-array@
scan-object [ scan-object scan-object ] dip

View File

@ -1,7 +1,7 @@
IN: alien.destructors
USING: help.markup help.syntax alien destructors ;
HELP: DESTRUCTOR:
HELP: \DESTRUCTOR:
{ $syntax "DESTRUCTOR: word" }
{ $description "Defines four things:"
{ $list
@ -25,6 +25,6 @@ HELP: DESTRUCTOR:
ARTICLE: "alien.destructors" "Alien destructors"
"The " { $vocab-link "alien.destructors" } " vocabulary defines a utility parsing word for defining new disposable classes."
{ $subsections POSTPONE: DESTRUCTOR: } ;
{ $subsections postpone: \DESTRUCTOR: } ;
ABOUT: "alien.destructors"

View File

@ -1,32 +1,22 @@
! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors destructors effects functors generalizations
kernel parser sequences ;
USING: functors2 ;
IN: alien.destructors
TUPLE: alien-destructor alien ;
<FUNCTOR: define-destructor ( F -- )
INLINE-FUNCTOR: destructor ( f: existing-word -- ) [[
USING: accessors alien.destructors effects generalizations
destructors kernel literals sequences ;
F-destructor DEFINES-CLASS ${F}-destructor
<F-destructor> DEFINES <${F}-destructor>
&F DEFINES &${F}
|F DEFINES |${F}
N [ F stack-effect out>> length ]
TUPLE: ${f}-destructor < alien-destructor ;
WHERE
: <${f}-destructor> ( alien -- destructor )
${f}-destructor boa ; inline
TUPLE: F-destructor < alien-destructor ;
: &${f} ( alien -- alien ) dup <${f}-destructor> &dispose drop ; inline
: <F-destructor> ( alien -- destructor )
F-destructor boa ; inline
: |${f} ( alien -- alien ) dup <${f}-destructor> |dispose drop ; inline
M: F-destructor dispose alien>> F N ndrop ;
: &F ( alien -- alien ) dup <F-destructor> &dispose drop ; inline
: |F ( alien -- alien ) dup <F-destructor> |dispose drop ; inline
;FUNCTOR>
SYNTAX: DESTRUCTOR: scan-word define-destructor ;
M: ${f}-destructor dispose alien>> ${f} $[ \ ${f} stack-effect out>> length ] ndrop ;
]]

View File

@ -4,7 +4,7 @@ USING: help.markup help.syntax kernel math quotations
classes.struct ;
IN: alien.endian
HELP: BE-PACKED-STRUCT:
HELP: \BE-PACKED-STRUCT:
{ $description "Defines a packed " { $link struct } " where endian-unaware types become big-endian types. Note that endian-aware types will override the big-endianness of this " { $link struct } " declaration; little-endian types will stay little-endian. On big-endian platforms, the endian-unaware types will not change since they are the correct endianness already." }
{ $unchecked-example
"! When run on a big-endian platform, this struct should prettyprint the same as defined"
@ -17,7 +17,7 @@ IN: scratchpad
STRUCT: s1 { a char[7] } { b be32 initial: 0 } ;"
} ;
HELP: BE-STRUCT:
HELP: \BE-STRUCT:
{ $description "Defines a " { $link struct } " where endian-unaware types become big-endian types. Note that endian-aware types will override the big-endianness of this " { $link struct } " declaration; little-endian types will stay little-endian. On big-endian platforms, the endian-unaware types will not change since they are the correct endianness already." }
{ $unchecked-example
"! When run on a big-endian platform, this struct should prettyprint the same as defined"
@ -30,7 +30,7 @@ IN: scratchpad
STRUCT: s1 { a be32 initial: 0 } { b le32 initial: 0 } ;"
} ;
HELP: LE-PACKED-STRUCT:
HELP: \LE-PACKED-STRUCT:
{ $description "Defines a packed " { $link struct } " where endian-unaware types become little-endian types. Note that endian-aware types will override the little-endianness of this " { $link struct } " declaration; big-endian types will stay big-endian. On little-endian platforms, the endian-unaware types will not change since they are the correct endianness already." }
{ $unchecked-example
"! When run on a little-endian platform, this struct should prettyprint the same as defined"
@ -43,7 +43,7 @@ IN: scratchpad
STRUCT: s1 { a char[7] } { b int initial: 0 } ;"
} ;
HELP: LE-STRUCT:
HELP: \LE-STRUCT:
{ $description "Defines a " { $link struct } " where endian-unaware types become little-endian types. Note that endian-aware types will override the little-endianness of this " { $link struct } " declaration; big-endian types will stay big-endian. On little-endian platforms, the endian-unaware types will not change since they are the correct endianness already." }
{ $unchecked-example
"! When run on a little-endian platform, this struct should prettyprint the same as defined"
@ -141,10 +141,10 @@ ARTICLE: "alien.endian" "Alien endian-aware types"
}
"Syntax for making endian-aware structs out of native types:"
{ $subsections
POSTPONE: LE-STRUCT:
POSTPONE: BE-STRUCT:
POSTPONE: LE-PACKED-STRUCT:
POSTPONE: BE-PACKED-STRUCT:
postpone: \LE-STRUCT:
postpone: \BE-STRUCT:
postpone: \LE-PACKED-STRUCT:
postpone: \BE-PACKED-STRUCT:
} ;
ABOUT: "alien.endian"

View File

@ -147,18 +147,18 @@ ERROR: unsupported-endian-type endian slot ;
[ compute-struct-offsets ] [ drop 1 ]
(define-struct-class) ;
SYNTAX: LE-STRUCT:
SYNTAX: \LE-STRUCT:
parse-struct-definition
little-endian define-endian-struct-class ;
SYNTAX: BE-STRUCT:
SYNTAX: \BE-STRUCT:
parse-struct-definition
big-endian define-endian-struct-class ;
SYNTAX: LE-PACKED-STRUCT:
SYNTAX: \LE-PACKED-STRUCT:
parse-struct-definition
little-endian define-endian-packed-struct-class ;
SYNTAX: BE-PACKED-STRUCT:
SYNTAX: \BE-PACKED-STRUCT:
parse-struct-definition
big-endian define-endian-packed-struct-class ;

View File

@ -7,7 +7,7 @@ HELP: define-enum
{ $values
{ "word" word } { "base-type" c-type } { "members" "sequence of word and value pairs" }
}
{ $description "Defines an enum. This is the run-time equivalent of " { $link POSTPONE: ENUM: } "." } ;
{ $description "Defines an enum. This is the run-time equivalent of " { $link postpone: \ENUM: } "." } ;
HELP: enum>number
{ $values
@ -23,6 +23,6 @@ HELP: number>enum
}
{ $description "Convert a number to an enum." } ;
{ POSTPONE: ENUM: define-enum enum>number number>enum } related-words
{ postpone: \ENUM: define-enum enum>number number>enum } related-words
ABOUT: "alien.enums"

View File

@ -1,24 +0,0 @@
USING: accessors alien.libraries kernel sequences system vocabs
;
IN: alien.libraries.finder
HOOK: find-library* os ( name -- path/f )
: find-library ( name -- path/library-not-found )
dup find-library* [ nip ] when* ;
: ?update-library ( name path abi -- )
pick lookup-library [ dll>> dll-valid? ] [ f ] if* [
3drop
] [
[ find-library ] [ update-library ] bi*
] if ;
! Try to find the library from a list, but if it's not found,
! try to open a library that is the first name in that list anyway
! or "library_not_found" as a last resort for better debugging.
: find-library-from-list ( seq -- path/f )
dup [ find-library* ] map-find drop
[ ] [ ?first "library_not_found" or ] ?if ;
"alien.libraries.finder." os name>> append require

View File

@ -1,5 +0,0 @@
USING: alien.libraries.finder sequences tools.test ;
IN: alien.libraries.finder.linux.tests
{ t } [ "libm.so" "m" find-library subseq? ] unit-test
{ t } [ "libc.so" "c" find-library subseq? ] unit-test

View File

@ -1,47 +0,0 @@
! Copyright (C) 2013 Björn Lindqvist, Doug Coleman.
! See http://factorcode.org/license.txt for BSD license
USING: alien.libraries.finder arrays assocs
combinators.short-circuit io io.encodings.utf8 io.files
io.files.info io.launcher kernel sequences sets splitting system
unicode ;
IN: alien.libraries.finder.linux
<PRIVATE
CONSTANT: mach-map {
{ ppc.64 { "libc6" "64bit" } }
{ x86.32 { "libc6" "x32" } }
{ x86.64 { "libc6" "x86-64" } }
}
: parse-ldconfig-lines ( string -- triple )
[
"=>" split1 [ [ blank? ] trim ] bi@
[
" " split1 [ "()" in? ] trim "," split
[ [ blank? ] trim ] map
[ ": Linux" swap subseq? ] reject
] dip 3array
] map ;
: load-ldconfig-cache ( -- seq )
"/sbin/ldconfig -p" utf8 [ lines ] with-process-reader
rest parse-ldconfig-lines ;
: ldconfig-arch ( -- str )
mach-map cpu of { "libc6" } or ;
: name-matches? ( lib triple -- ? )
first swap ?head [ ?first CHAR: . = ] [ drop f ] if ;
: arch-matches? ( lib triple -- ? )
[ drop ldconfig-arch ] [ second swap subset? ] bi* ;
: ldconfig-matches? ( lib triple -- ? )
{ [ name-matches? ] [ arch-matches? ] } 2&& ;
PRIVATE>
M: linux find-library*
"lib" prepend load-ldconfig-cache
[ ldconfig-matches? ] with find nip ?first ;

View File

@ -1 +0,0 @@
linux

View File

@ -1,50 +0,0 @@
USING: alien.libraries.finder
alien.libraries.finder.macosx.private sequences tools.test ;
IN: alien.libraries.finder.macosx
{
{
f
f
f
f
T{ framework-info f "Location" "Name.framework/Name" "Name" f f }
T{ framework-info f "Location" "Name.framework/Name_suffix" "Name" f "suffix" }
f
f
T{ framework-info f "Location" "Name.framework/Versions/A/Name" "Name" "A" f }
T{ framework-info f "Location" "Name.framework/Versions/A/Name_suffix" "Name" "A" "suffix" }
}
} [
{
"broken/path"
"broken/path/_suffix"
"Location/Name.framework"
"Location/Name.framework/_suffix"
"Location/Name.framework/Name"
"Location/Name.framework/Name_suffix"
"Location/Name.framework/Versions"
"Location/Name.framework/Versions/A"
"Location/Name.framework/Versions/A/Name"
"Location/Name.framework/Versions/A/Name_suffix"
} [ make-framework-info ] map
] unit-test
{
{
"/usr/lib/libSystem.dylib"
"/System/Library/Frameworks/System.framework/System"
}
} [
{
"libSystem.dylib"
"System.framework/System"
} [ dyld-find ] map
] unit-test
{ t } [ "libm.dylib" "m" find-library subseq? ] unit-test
{ t } [ "libc.dylib" "c" find-library subseq? ] unit-test
{ t } [ "libbz2.dylib" "bz2" find-library subseq? ] unit-test
{ t } [ "AGL.framework" "AGL" find-library subseq? ] unit-test

View File

@ -1 +0,0 @@
macosx

View File

@ -1,34 +0,0 @@
! Copyright (C) 2013 Björn Lindqvist, John Benediktsson
! See http://factorcode.org/license.txt for BSD license
USING: alien.libraries.finder arrays combinators.short-circuit
environment io.backend io.files io.files.info io.pathnames kernel
sequences splitting system system-info.windows ;
IN: alien.libraries.finder.windows
<PRIVATE
: search-paths ( -- seq )
"resource:" normalize-path
system-directory
windows-directory 3array
"PATH" os-env [ ";" split ] [ f ] if* append ;
: candidate-paths ( name -- seq )
search-paths over ".dll" tail? [
[ prepend-path ] with map
] [
[
[ prepend-path ]
[ [ ".dll" append ] [ prepend-path ] bi* ] 2bi
2array
] with map concat
] if ;
PRIVATE>
M: windows find-library*
candidate-paths [
{ [ exists? ] [ file-info regular-file? ] } 1&&
] find nip ;

View File

@ -1 +0,0 @@
windows

View File

@ -1,9 +0,0 @@
USING: alien.libraries io.pathnames system windows.errors
windows.kernel32 ;
IN: alien.libraries.windows
M: windows >deployed-library-path
file-name ;
M: windows dlerror ( -- message )
GetLastError n>win32-error-string ;

View File

@ -122,6 +122,7 @@ TYPEDEF: int alien-parser-test-int ! reasonably unique name...
] unit-test
! Redefinitions
{ } [
[ C-TYPE: hi TYPEDEF: void* hi ] with-compilation-unit
] unit-test
<<
C-TYPE: hi
TYPEDEF: void* hi
>>

View File

@ -21,7 +21,7 @@ ERROR: bad-array-type ;
: (parse-c-type) ( string -- type )
{
{ [ "*" ?tail ] [ (parse-c-type) <pointer> ] }
{ [ CHAR: ] over member? ] [ parse-array-type ] }
{ [ char: \] over member? ] [ parse-array-type ] }
{ [ dup search ] [ parse-word ] }
[ parse-word ]
} cond ;
@ -37,7 +37,7 @@ ERROR: bad-array-type ;
: scan-c-type ( -- c-type )
scan-token {
{ [ dup "{" = ] [ drop \ } parse-until >array ] }
{ [ dup "{" = ] [ drop \ \} parse-until >array ] }
{ [ dup "pointer:" = ] [ drop scan-c-type <pointer> ] }
[ parse-c-type ]
} cond ;

View File

@ -11,12 +11,12 @@ M: alien pprint*
{
{ [ dup expired? ] [ drop \ BAD-ALIEN pprint-word ] }
{ [ dup pinned-c-ptr? not ] [ drop "( displaced alien )" text ] }
[ \ ALIEN: [ alien-address >hex text ] pprint-prefix ]
[ \ \alien: [ alien-address >hex text ] pprint-prefix ]
} cond ;
M: dll pprint* dll-path dup "DLL\" " "\"" pprint-string ;
M: c-type-word definer drop \ C-TYPE: f ;
M: c-type-word definer drop \ \C-TYPE: f ;
M: c-type-word definition drop f ;
M: c-type-word declarations. drop ;
@ -37,9 +37,9 @@ PRIVATE>
[ record-c-type ] [ c-type-string ] [ ] tri present-text ;
M: pointer pprint*
<flow \ pointer: pprint-word to>> pprint* block> ;
<flow \ \pointer: pprint-word to>> pprint* block> ;
M: typedef-word definer drop \ TYPEDEF: f ;
M: typedef-word definer drop \ \TYPEDEF: f ;
M: typedef-word synopsis*
{
@ -60,7 +60,7 @@ M: typedef-word synopsis*
] if-empty ;
: pprint-library ( library -- )
[ \ LIBRARY: [ text ] pprint-prefix ] when* ;
[ \ \LIBRARY: [ text ] pprint-prefix ] when* ;
: pprint-function ( word quot -- )
[ def>> first pprint-c-type ]
@ -79,7 +79,7 @@ PREDICATE: alien-function-alias-word < word
} 1&& ;
M: alien-function-alias-word definer
drop \ FUNCTION-ALIAS: f ;
drop \ \FUNCTION-ALIAS: f ;
M: alien-function-alias-word definition drop f ;
M: alien-function-alias-word synopsis*
{
@ -95,7 +95,7 @@ PREDICATE: alien-function-word < alien-function-alias-word
[ def>> third ] [ name>> ] bi = ;
M: alien-function-word definer
drop \ FUNCTION: f ;
drop \ \FUNCTION: f ;
M: alien-function-word synopsis*
{
[ seeing-word ]
@ -108,7 +108,7 @@ PREDICATE: alien-callback-type-word < typedef-word
"callback-effect" word-prop >boolean ;
M: alien-callback-type-word definer
drop \ CALLBACK: f ;
drop \ \CALLBACK: f ;
M: alien-callback-type-word definition drop f ;
M: alien-callback-type-word synopsis*
{
@ -126,7 +126,7 @@ M: alien-callback-type-word synopsis*
} cleave ;
M: enum-c-type-word definer
drop \ ENUM: \ ; ;
drop \ \ENUM: \ \; ;
M: enum-c-type-word synopsis*
{
[ seeing-word ]

View File

@ -16,7 +16,7 @@ IN: alien.remote-control.tests
image-path :> image
[
[I
I[[
#include <vm/master.h>
#include <stdio.h>
#include <stdbool.h>
@ -32,7 +32,7 @@ int main(int argc, char **argv)
printf("Done.\n");
return 0;
}
I]
]]
] with-string-writer
[ compile-file ] with-temp-directory
[ run-test ] with-temp-directory ;

View File

@ -2,33 +2,33 @@ IN: alien.syntax
USING: alien alien.c-types alien.enums alien.libraries classes.struct
help.markup help.syntax see ;
HELP: DLL"
HELP: \DLL"
{ $syntax "DLL\" path\"" }
{ $values { "path" "a pathname string" } }
{ $description "Constructs a DLL handle at parse time." } ;
HELP: ALIEN:
{ $syntax "ALIEN: address" }
HELP: \alien:
{ $syntax "alien: address" }
{ $values { "address" "a non-negative hexadecimal integer" } }
{ $description "Creates an alien object at parse time." }
{ $notes "Alien objects are invalidated between image saves and loads, and hence source files should not contain alien literals; this word is for interactive use only. See " { $link "alien-expiry" } " for details." } ;
ARTICLE: "syntax-aliens" "Alien object literal syntax"
{ $subsections
POSTPONE: ALIEN:
POSTPONE: DLL"
postpone: \alien:
postpone: \DLL"
} ;
HELP: LIBRARY:
HELP: \LIBRARY:
{ $syntax "LIBRARY: name" }
{ $values { "name" "a logical library name" } }
{ $description "Sets the logical library for consequent " { $link POSTPONE: FUNCTION: } ", " { $link POSTPONE: C-GLOBAL: } " and " { $link POSTPONE: CALLBACK: } " definitions, as well as " { $link POSTPONE: &: } " forms." }
{ $description "Sets the logical library for consequent " { $link postpone: \FUNCTION: } ", " { $link postpone: \C-GLOBAL: } " and " { $link postpone: \CALLBACK: } " definitions, as well as " { $link postpone: \&: } " forms." }
{ $notes "Logical library names are defined with the " { $link add-library } " word." } ;
HELP: FUNCTION:
HELP: \FUNCTION:
{ $syntax "FUNCTION: return name ( parameters )" }
{ $values { "return" "a C return type" } { "name" "a C function name" } { "parameters" "a comma-separated sequence of type/name pairs; " { $snippet "type1 arg1, type2 arg2, ..." } } }
{ $description "Defines a new word " { $snippet "name" } " which calls the C library function with the same " { $snippet "name" } " in the logical library given by the most recent " { $link POSTPONE: LIBRARY: } " declaration."
{ $description "Defines a new word " { $snippet "name" } " which calls the C library function with the same " { $snippet "name" } " in the logical library given by the most recent " { $link postpone: \LIBRARY: } " declaration."
$nl
"The new word must be compiled before being executed." }
{ $examples
@ -45,26 +45,26 @@ $nl
"The answer to the question is 42."
} }
"Using the " { $link c-string } " type instead of " { $snippet "char*" } " causes the FFI to automatically convert Factor strings to C strings. See " { $link "c-strings" } " for more information on using strings with the FFI."
{ $notes "To make a Factor word with a name different from the C function, use " { $link POSTPONE: FUNCTION-ALIAS: } "." } ;
{ $notes "To make a Factor word with a name different from the C function, use " { $link postpone: \FUNCTION-ALIAS: } "." } ;
HELP: FUNCTION-ALIAS:
HELP: \FUNCTION-ALIAS:
{ $syntax "FUNCTION-ALIAS: factor-name
return c_name ( parameters ) ;" }
{ $values { "factor-name" "a Factor word name" } { "return" "a C return type" } { "name" "a C function name" } { "parameters" "a comma-separated sequence of type/name pairs; " { $snippet "type1 arg1, type2 arg2, ..." } } }
{ $description "Defines a new word " { $snippet "factor-name" } " which calls the C library function named " { $snippet "c_name" } " in the logical library given by the most recent " { $link POSTPONE: LIBRARY: } " declaration."
{ $description "Defines a new word " { $snippet "factor-name" } " which calls the C library function named " { $snippet "c_name" } " in the logical library given by the most recent " { $link postpone: \LIBRARY: } " declaration."
$nl
"The new word must be compiled before being executed." }
{ $notes "Note that the parentheses and commas are only syntax sugar and can be omitted. They serve no purpose other than to make the declaration easier to read." } ;
{ POSTPONE: FUNCTION: POSTPONE: FUNCTION-ALIAS: } related-words
{ postpone: \FUNCTION: postpone: \FUNCTION-ALIAS: } related-words
HELP: TYPEDEF:
HELP: \TYPEDEF:
{ $syntax "TYPEDEF: old new" }
{ $values { "old" "a C type" } { "new" "a C type" } }
{ $description "Aliases the C type " { $snippet "old" } " under the name " { $snippet "new" } "." }
{ $notes "This word differs from " { $link typedef } " in that it runs at parse time, to ensure correct ordering of operations when loading source files. Words defined in source files are compiled before top-level forms are run, so if a source file defines C binding words and uses " { $link typedef } ", the type alias won't be available at compile time." } ;
HELP: ENUM:
HELP: \ENUM:
{ $syntax "ENUM: type words... ;" "ENUM: type < base-type words..." }
{ $values { "type" { $maybe "a name to typedef to int" } } { "words" "a sequence of word names" } }
{ $description "Creates a c-type that boxes and unboxes integer values to symbols. A symbol is defined for each member word. The base c-type can optionally be specified and defaults to " { $link int } ". A constructor word " { $snippet "<type>" } " is defined for converting from integers to singletons. The generic word " { $link enum>number } " converts from singletons to integers. Enum-typed values are automatically prettyprinted as their singleton words. Unrecognizing enum numbers are kept as numbers." }
@ -81,25 +81,25 @@ HELP: ENUM:
{ $code "ENUM: tv_peripherals_4 < uint\n{ appletv 1 } { chromecast 2 } { roku 4 } ;" }
} ;
HELP: C-TYPE:
HELP: \C-TYPE:
{ $syntax "C-TYPE: type" }
{ $values { "type" "a new C type" } }
{ $description "Defines a new, opaque C type. Since it is opaque, " { $snippet "type" } " will not be directly usable as a parameter or return type of a " { $link POSTPONE: FUNCTION: } " or as a slot of a " { $link POSTPONE: STRUCT: } ". However, it can be used as the type of a " { $link pointer } "." $nl
{ $description "Defines a new, opaque C type. Since it is opaque, " { $snippet "type" } " will not be directly usable as a parameter or return type of a " { $link postpone: \FUNCTION: } " or as a slot of a " { $link postpone: \STRUCT: } ". However, it can be used as the type of a " { $link pointer } "." $nl
{ $snippet "C-TYPE:" } " can also be used to forward declare C types, allowing circular dependencies to occur between types. For example:"
{ $code "C-TYPE: forward
STRUCT: backward { x forward* } ;
STRUCT: forward { x backward* } ;" } }
{ $notes "Primitive C types are displayed using " { $snippet "C-TYPE:" } " syntax when they are " { $link see } "n." } ;
HELP: CALLBACK:
HELP: \CALLBACK:
{ $syntax "CALLBACK: return type ( parameters )" }
{ $values { "return" "a C return type" } { "type" "a type name" } { "parameters" "a comma-separated sequence of type/name pairs; " { $snippet "type1 arg1, type2 arg2, ..." } } }
{ $description "Defines a new function pointer C type word " { $snippet "type" } ". The newly defined word works both as a C type and as a wrapper for " { $link alien-callback } " for callbacks that accept the given return type and parameters. The ABI of the callback is decided from the ABI of the active " { $link POSTPONE: LIBRARY: } " declaration." }
{ $description "Defines a new function pointer C type word " { $snippet "type" } ". The newly defined word works both as a C type and as a wrapper for " { $link alien-callback } " for callbacks that accept the given return type and parameters. The ABI of the callback is decided from the ABI of the active " { $link postpone: \LIBRARY: } " declaration." }
{ $examples
{ $code
"CALLBACK: bool FakeCallback ( int message, void* payload )"
": MyFakeCallback ( -- alien )"
" [| message payload |"
" |[ message payload |"
" \"message #\" write"
" message number>string write"
" \" received\" write nl"
@ -108,28 +108,28 @@ HELP: CALLBACK:
}
} ;
HELP: &:
HELP: \&:
{ $syntax "&: symbol" }
{ $values { "symbol" "A C global variable name" } }
{ $description "Pushes the address of a symbol named " { $snippet "symbol" } " from the current library, set with " { $link POSTPONE: LIBRARY: } "." } ;
{ $description "Pushes the address of a symbol named " { $snippet "symbol" } " from the current library, set with " { $link postpone: \LIBRARY: } "." } ;
HELP: typedef
{ $values { "old" "a C type" } { "new" "a C type" } }
{ $description "Aliases the C type " { $snippet "old" } " under the name " { $snippet "new" } "." }
{ $notes "Using this word in the same source file which defines C bindings can cause problems, because words are compiled before top-level forms are run. Use the " { $link POSTPONE: TYPEDEF: } " word instead." } ;
{ $notes "Using this word in the same source file which defines C bindings can cause problems, because words are compiled before top-level forms are run. Use the " { $link postpone: \TYPEDEF: } " word instead." } ;
{ POSTPONE: TYPEDEF: typedef } related-words
{ postpone: \TYPEDEF: typedef } related-words
HELP: C-GLOBAL:
HELP: \C-GLOBAL:
{ $syntax "C-GLOBAL: type name" }
{ $values { "type" "a C type" } { "name" "a C global variable name" } }
{ $description "Defines a getter " { $snippet "name" } " and setter " { $snippet "set-name" } " for the global value in the current library, set with " { $link POSTPONE: LIBRARY: } "." } ;
{ $description "Defines a getter " { $snippet "name" } " and setter " { $snippet "set-name" } " for the global value in the current library, set with " { $link postpone: \LIBRARY: } "." } ;
ARTICLE: "alien.enums" "Enumeration types"
"The " { $vocab-link "alien.enums" } " vocab contains the implementation for " { $link POSTPONE: ENUM: } " C types, and provides words for converting between enum singletons and integers. It is possible to dispatch off of members of an enum."
"The " { $vocab-link "alien.enums" } " vocab contains the implementation for " { $link postpone: \ENUM: } " C types, and provides words for converting between enum singletons and integers. It is possible to dispatch off of members of an enum."
$nl
"Defining enums:"
{ $subsection POSTPONE: ENUM: }
{ $subsection postpone: \ENUM: }
"Defining enums at run-time:"
{ $subsection define-enum }
"Conversions between enums and integers:"

View File

@ -6,37 +6,37 @@ strings.parser vocabs words ;
<< "alien.arrays" require >> ! needed for bootstrap
IN: alien.syntax
SYNTAX: DLL" lexer get skip-blank parse-string dlopen suffix! ;
SYNTAX: \DLL" lexer get skip-blank parse-string dlopen suffix! ;
SYNTAX: ALIEN: 16 scan-base <alien> suffix! ;
SYNTAX: \alien: 16 scan-base <alien> suffix! ;
SYNTAX: BAD-ALIEN <bad-alien> suffix! ;
SYNTAX: \BAD-ALIEN <bad-alien> suffix! ;
SYNTAX: LIBRARY: scan-token current-library set ;
SYNTAX: \LIBRARY: scan-token current-library set ;
SYNTAX: FUNCTION:
SYNTAX: \FUNCTION:
(FUNCTION:) make-function define-inline ;
SYNTAX: FUNCTION-ALIAS:
SYNTAX: \FUNCTION-ALIAS:
scan-token create-function
(FUNCTION:) (make-function) define-inline ;
SYNTAX: CALLBACK:
SYNTAX: \CALLBACK:
(CALLBACK:) define-inline ;
SYNTAX: TYPEDEF:
SYNTAX: \TYPEDEF:
scan-c-type CREATE-C-TYPE dup save-location typedef ;
SYNTAX: ENUM:
SYNTAX: \ENUM:
parse-enum (define-enum) ;
SYNTAX: C-TYPE:
SYNTAX: \C-TYPE:
void CREATE-C-TYPE typedef ;
SYNTAX: &:
SYNTAX: \&:
scan-token current-library get '[ _ _ address-of ] append! ;
SYNTAX: C-GLOBAL: scan-c-type scan-new-word define-global ;
SYNTAX: \C-GLOBAL: scan-c-type scan-new-word define-global ;
SYNTAX: pointer:
SYNTAX: \pointer:
scan-c-type <pointer> suffix! ;

View File

@ -26,7 +26,7 @@ CONSTANT: alphabet $[
alphabet nth ; inline
: base64>ch ( ch -- ch )
$[ alphabet alphabet-inverse 0 CHAR: = pick set-nth ] nth
$[ alphabet alphabet-inverse 0 char: = pick set-nth ] nth
[ malformed-base64 ] unless* { fixnum } declare ; inline
: encode3 ( x y z -- a b c d )
@ -41,7 +41,7 @@ CONSTANT: alphabet $[
[
stream stream-write1 1 + dup 76 = [
drop 0
B{ CHAR: \r CHAR: \n } stream stream-write
B{ char: \r char: \n } stream stream-write
] when
] each
] [
@ -61,9 +61,9 @@ CONSTANT: alphabet $[
input stream-read1
[ [ 0 or ] bi@ encode3 ] 2keep [ 0 1 ? ] bi@ + {
{ 0 [ ] }
{ 1 [ drop CHAR: = ] }
{ 2 [ 2drop CHAR: = CHAR: = ] }
} case data (4sequence) output stream-write-lines
{ 1 [ drop char: = ] }
{ 2 [ 2drop char: = char: = ] }
} case data [ (4sequence) ] keep output stream-write-lines
] while 2drop ; inline
PRIVATE>
@ -95,12 +95,12 @@ PRIVATE>
:: (decode-base64) ( input output -- )
3 <byte-array> :> data
[ B{ CHAR: \n CHAR: \r } input read1-ignoring dup ] [
B{ CHAR: \n CHAR: \r } input read1-ignoring CHAR: = or
B{ CHAR: \n CHAR: \r } input read1-ignoring CHAR: = or
B{ CHAR: \n CHAR: \r } input read1-ignoring CHAR: = or
[ decode4 data (3sequence) ] 3keep
[ CHAR: = eq? 1 0 ? ] tri@ + +
[ B{ char: \n char: \r } input read1-ignoring dup ] [
B{ char: \n char: \r } input read1-ignoring char: = or
B{ char: \n char: \r } input read1-ignoring char: = or
B{ char: \n char: \r } input read1-ignoring char: = or
[ decode4 data [ (3sequence) ] keep ] 3keep
[ char: = eq? 1 0 ? ] tri@ + +
[ head-slice* ] unless-zero
output stream-write
] while drop ;
@ -142,18 +142,18 @@ PRIVATE>
: >urlsafe-base64 ( seq -- base64 )
>base64 H{
{ CHAR: + CHAR: - }
{ CHAR: / CHAR: _ }
{ char: + char: - }
{ char: / char: _ }
} substitute ;
: urlsafe-base64> ( base64 -- seq )
H{
{ CHAR: - CHAR: + }
{ CHAR: _ CHAR: / }
{ char: - char: + }
{ char: _ char: / }
} substitute base64> ;
: >urlsafe-base64-lines ( seq -- base64 )
>base64-lines H{
{ CHAR: + CHAR: - }
{ CHAR: / CHAR: _ }
{ char: + char: - }
{ char: / char: _ }
} substitute ;

View File

@ -29,14 +29,14 @@ $nl
bit-array>integer
}
"Bit array literal syntax:"
{ $subsections POSTPONE: ?{ } ;
{ $subsections postpone: \?{ } ;
ABOUT: "bit-arrays"
HELP: ?{
HELP: \?{
{ $syntax "?{ elements... }" }
{ $values { "elements" "a list of booleans" } }
{ $description "Marks the beginning of a literal bit array. Literal bit arrays are terminated by " { $link POSTPONE: } } "." }
{ $description "Marks the beginning of a literal bit array. Literal bit arrays are terminated by " { $link postpone: \} } "." }
{ $examples { $code "?{ t f t }" } } ;
HELP: bit-array

View File

@ -86,7 +86,7 @@ M: bit-array resize
M: bit-array byte-length length bits>bytes ; inline
SYNTAX: ?{ \ } [ >bit-array ] parse-literal ;
SYNTAX: \?{ \ \} [ >bit-array ] parse-literal ;
: integer>bit-array ( n -- bit-array )
dup 0 =

View File

@ -1,6 +1,6 @@
USING: bit-arrays kernel prettyprint.custom ;
IN: bit-arrays.prettyprint
M: bit-array pprint-delims drop \ ?{ \ } ;
M: bit-array pprint-delims drop \ \?{ \ \} ;
M: bit-array >pprint-sequence ;
M: bit-array pprint* pprint-object ;

View File

@ -15,7 +15,7 @@ $nl
<bit-vector>
}
"Literal syntax:"
{ $subsections POSTPONE: ?V{ }
{ $subsections postpone: \?V{ }
"If you don't care about initial capacity, a more elegant way to create a new bit vector is to write:"
{ $code "?V{ } clone" } ;
@ -32,8 +32,8 @@ HELP: >bit-vector
{ $values { "seq" sequence } { "vector" bit-vector } }
{ $description "Outputs a freshly-allocated bit vector with the same elements as a given sequence." } ;
HELP: ?V{
HELP: \?V{
{ $syntax "?V{ elements... }" }
{ $values { "elements" "a list of booleans" } }
{ $description "Marks the beginning of a literal bit vector. Literal bit vectors are terminated by " { $link POSTPONE: } } "." }
{ $description "Marks the beginning of a literal bit vector. Literal bit vectors are terminated by " { $link postpone: \} } "." }
{ $examples { $code "?V{ t f t }" } } ;

View File

@ -1,12 +1,13 @@
! Copyright (C) 2008, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: bit-arrays classes.parser growable kernel parser
vectors.functor vocabs.loader ;
USING: bit-arrays classes growable kernel math parser
prettyprint.custom sequences sequences.private vectors.functor
vocabs.loader ;
IN: bit-vectors
<< "bit-vector" create-class-in \ bit-array \ <bit-array> define-vector >>
VECTORIZED: bit bit-array <bit-array>
SYNTAX: ?V{ \ } [ >bit-vector ] parse-literal ;
SYNTAX: \?V{ \ \} [ >bit-vector ] parse-literal ;
M: bit-vector contract 2drop ;

View File

@ -2,6 +2,5 @@ USING: bit-vectors kernel prettyprint.custom ;
IN: bit-vectors.prettyprint
M: bit-vector >pprint-sequence ;
M: bit-vector pprint-delims drop \ ?V{ \ } ;
M: bit-vector pprint-delims drop \ \?V{ \ \} ;
M: bit-vector pprint* pprint-object ;

View File

@ -7,11 +7,11 @@ IN: bitstreams
TUPLE: widthed
{ bits integer read-only }
{ #bits integer read-only } ;
{ n-bits integer read-only } ;
ERROR: invalid-widthed bits #bits ;
ERROR: invalid-widthed bits n-bits ;
: check-widthed ( bits #bits -- bits #bits )
: check-widthed ( bits n-bits -- bits n-bits )
2dup {
[ nip 0 < ]
[ { [ nip 0 = ] [ drop 0 = not ] } 2&& ]
@ -22,7 +22,7 @@ ERROR: invalid-widthed bits #bits ;
]
} 2|| [ invalid-widthed ] when ;
: <widthed> ( bits #bits -- widthed )
: <widthed> ( bits n-bits -- widthed )
check-widthed
widthed boa ;
@ -88,20 +88,20 @@ GENERIC: poke ( value n bitstream -- )
ERROR: not-enough-widthed-bits widthed n ;
: check-widthed-bits ( widthed n -- widthed n )
2dup { [ nip 0 < ] [ [ #bits>> ] dip < ] } 2||
2dup { [ nip 0 < ] [ [ n-bits>> ] dip < ] } 2||
[ not-enough-widthed-bits ] when ;
: widthed-bits ( widthed n -- bits )
check-widthed-bits
[ [ bits>> ] [ #bits>> ] bi ] dip
[ [ bits>> ] [ n-bits>> ] bi ] dip
[ - neg shift ] keep <widthed> ;
: split-widthed ( widthed n -- widthed1 widthed2 )
2dup [ #bits>> ] dip < [
2dup [ n-bits>> ] dip < [
drop zero-widthed
] [
[ widthed-bits ]
[ [ [ bits>> ] [ #bits>> ] bi ] dip - [ bits ] keep <widthed> ] 2bi
[ [ [ bits>> ] [ n-bits>> ] bi ] dip - [ bits ] keep <widthed> ] 2bi
] if ;
: widthed>bytes ( widthed -- bytes widthed )
@ -110,20 +110,20 @@ ERROR: not-enough-widthed-bits widthed n ;
:: |widthed ( widthed1 widthed2 -- widthed3 )
widthed1 bits>> :> bits1
widthed1 #bits>> :> #bits1
widthed1 n-bits>> :> n-bits1
widthed2 bits>> :> bits2
widthed2 #bits>> :> #bits2
bits1 #bits2 shift bits2 bitor
#bits1 #bits2 + <widthed> ;
widthed2 n-bits>> :> n-bits2
bits1 n-bits2 shift bits2 bitor
n-bits1 n-bits2 + <widthed> ;
PRIVATE>
M:: lsb0-bit-writer poke ( value n bs -- )
value n <widthed> :> widthed
widthed
bs widthed>> #bits>> 8 swap - split-widthed :> ( byte remainder )
bs widthed>> n-bits>> 8 swap - split-widthed :> ( byte remainder )
byte bs widthed>> |widthed :> new-byte
new-byte #bits>> 8 = [
new-byte n-bits>> 8 = [
new-byte bits>> bs bytes>> push
zero-widthed bs widthed<<
remainder widthed>bytes
@ -139,7 +139,7 @@ M:: lsb0-bit-writer poke ( value n bs -- )
ERROR: not-enough-bits n bit-reader ;
: #bits>#bytes ( #bits -- #bytes )
: n-bits>n-bytes ( n-bits -- n-bytes )
8 /mod 0 = [ 1 + ] unless ; inline
:: subseq>bits-le ( bignum n bs -- bits )
@ -151,9 +151,9 @@ ERROR: not-enough-bits n bit-reader ;
neg shift n bits ;
:: adjust-bits ( n bs -- )
n 8 /mod :> ( #bytes #bits )
bs [ #bytes + ] change-byte-pos
bit-pos>> #bits + dup 8 >= [
n 8 /mod :> ( n-bytes n-bits )
bs [ n-bytes + ] change-byte-pos
bit-pos>> n-bits + dup 8 >= [
8 - bs bit-pos<<
bs [ 1 + ] change-byte-pos drop
] [
@ -162,7 +162,7 @@ ERROR: not-enough-bits n bit-reader ;
:: (peek) ( n bs endian> subseq-endian -- bits )
n bs enough-bits? [ n bs not-enough-bits ] unless
bs [ byte-pos>> ] [ bit-pos>> n + ] bi #bits>#bytes dupd +
bs [ byte-pos>> ] [ bit-pos>> n + ] bi n-bits>n-bytes dupd +
bs bytes>> subseq endian> execute( seq -- x )
n bs subseq-endian execute( bignum n bs -- bits ) ;
@ -173,7 +173,7 @@ M: msb0-bit-reader peek ( n bs -- bits )
\ be> \ subseq>bits-be (peek) ;
:: bit-writer-bytes ( writer -- bytes )
writer widthed>> #bits>> :> n
writer widthed>> n-bits>> :> n
n 0 = [
writer widthed>> bits>> 8 n - shift
writer bytes>> push

View File

@ -4,7 +4,7 @@ USING: assocs bootstrap.image checksums checksums.md5
http.client io.files kernel math.parser splitting urls ;
IN: bootstrap.image.download
CONSTANT: url URL" http://downloads.factorcode.org/images/master/"
CONSTANT: url url"http://downloads.factorcode.org/images/master/"
: download-checksums ( -- alist )
url "checksums.txt" >url derive-url http-get nip

View File

@ -1,5 +1,4 @@
USING: accessors combinators namespaces sequences system vocabs
;
USING: accessors combinators namespaces sequences system vocabs ;
IN: bootstrap.io
"bootstrap.compiler" require

View File

@ -1,6 +1,6 @@
! Copyright (C) 2004, 2008 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: command-line compiler.units continuations definitions io
USING: combinators command-line compiler.units continuations definitions io
io.pathnames kernel math math.parser memory namespaces parser
parser.notes sequences sets splitting system
vocabs vocabs.loader ;
@ -13,8 +13,8 @@ SYMBOL: bootstrap-time
: strip-encodings ( -- )
os unix? [
[
P" resource:core/io/encodings/utf16/utf16.factor"
P" resource:core/io/encodings/utf16n/utf16n.factor" [ forget ] bi@
path"resource:core/io/encodings/utf16/utf16.factor"
path"resource:core/io/encodings/utf16n/utf16n.factor" [ forget ] bi@
"io.encodings.utf16"
"io.encodings.utf16n" [ loaded-child-vocab-names [ forget-vocab ] each ] bi@
] with-compilation-unit
@ -75,6 +75,30 @@ CONSTANT: default-components
(command-line) parse-command-line
{
{ [ os windows? ] [ "alien.libraries.windows" ] }
{ [ os unix? ] [ "alien.libraries.unix" ] }
} cond require
! { "hashtables.identity" "prettyprint" } "hashtables.identity.prettyprint" require-when
! { "hashtables.identity" "mirrors" } "hashtables.identity.mirrors" require-when
! { "hashtables.wrapped" "prettyprint" } "hashtables.wrapped.prettyprint" require-when
! { "typed" "prettyprint" } "typed.prettyprint" require-when
! { "typed" "compiler.cfg.debugger" } "typed.debugger" require-when
{ "hashtables.identity" "prettyprint" } "hashtables.identity.prettyprint" require-when
{ "hashtables.identity" "mirrors" } "hashtables.identity.mirrors" require-when
{ "hashtables.wrapped" "prettyprint" } "hashtables.wrapped.prettyprint" require-when
"summary" require
"eval" require
! "deques" require
! "command-line.startup" require
{ "locals" "prettyprint" } "locals.prettyprint" require-when
{ "typed" "prettyprint" } "typed.prettyprint" require-when
{ "typed" "compiler.cfg.debugger" } "typed.debugger" require-when
"stack-checker.row-polymorphism" reload
! Set dll paths
os windows? [ "windows" require ] when

View File

@ -405,6 +405,9 @@ M: timestamp days-in-year year>> days-in-year ;
: today ( -- timestamp )
now midnight ; inline
: today? ( timestamp -- ? )
now same-day? ; inline
: tomorrow ( -- timestamp )
1 days hence midnight ; inline
@ -509,14 +512,14 @@ M: timestamp december clone 12 >>month ;
: beginning-of-week ( timestamp -- new-timestamp )
midnight sunday ;
: o'clock ( timestamp n -- new-timestamp )
: o-clock ( timestamp n -- new-timestamp )
[ midnight ] dip >>hour ;
: am ( timestamp n -- new-timestamp )
0 12 [a,b] check-interval o'clock ;
0 12 [a,b] check-interval o-clock ;
: pm ( timestamp n -- new-timestamp )
0 12 [a,b] check-interval 12 + o'clock ;
0 12 [a,b] check-interval 12 + o-clock ;
GENERIC: beginning-of-year ( object -- new-timestamp )
M: timestamp beginning-of-year beginning-of-month 1 >>month ;

View File

@ -15,14 +15,14 @@ MACRO: formatted ( spec -- quot )
} cond
] map [ cleave ] curry ;
: pad-00 ( n -- str ) number>string 2 char: 0 pad-head ;
: formatted>string ( spec -- string )
'[ _ formatted ] with-string-writer ; inline
: pad-00 ( n -- str ) number>string 2 CHAR: 0 pad-head ;
: pad-0000 ( n -- str ) number>string 4 char: 0 pad-head ;
: pad-0000 ( n -- str ) number>string 4 CHAR: 0 pad-head ;
: pad-00000 ( n -- str ) number>string 5 CHAR: 0 pad-head ;
: pad-00000 ( n -- str ) number>string 5 char: 0 pad-head ;
: write-00 ( n -- ) pad-00 write ;

View File

@ -28,16 +28,16 @@ ERROR: invalid-timestamp-format ;
: read-sp ( -- token ) " " read-token ;
: signed-gmt-offset ( dt ch -- dt' )
{ { CHAR: + [ 1 ] } { CHAR: - [ -1 ] } } case time* ;
{ { char: + [ 1 ] } { char: - [ -1 ] } } case time* ;
: read-rfc3339-gmt-offset ( ch -- dt )
{
{ f [ instant ] }
{ CHAR: Z [ instant ] }
{ char: Z [ instant ] }
[
[
read-00 hours
read1 { { CHAR: : [ read-00 ] } { f [ 0 ] } } case minutes
read1 { { char: \: [ read-00 ] } { f [ 0 ] } } case minutes
time+
] dip signed-gmt-offset
]
@ -58,7 +58,7 @@ ERROR: invalid-timestamp-format ;
read-ymd
"Tt \t" expect
read-hms
read1 { { CHAR: . [ read-rfc3339-seconds ] } [ ] } case
read1 { { char: . [ read-rfc3339-seconds ] } [ ] } case
read-rfc3339-gmt-offset
<timestamp> ;
@ -66,7 +66,7 @@ ERROR: invalid-timestamp-format ;
[ (rfc3339>timestamp) ] with-string-reader ;
: parse-rfc822-military-offset ( string -- dt )
first CHAR: A - {
first char: A - {
-1 -2 -3 -4 -5 -6 -7 -8 -9 f -10 -11 -12
1 2 3 4 5 6 7 8 9 10 11 12 0
} nth hours ;
@ -94,18 +94,18 @@ CONSTANT: rfc822-named-zones H{
]
} cond ;
: read-hh:mm:ss ( -- hh mm ss )
: read-hh-mm-ss ( -- hh mm ss )
":" read-token checked-number
":" read-token checked-number
read-sp checked-number ;
: (rfc822>timestamp) ( -- timestamp )
"," read-token day-abbreviations3 member? check-timestamp drop
read1 CHAR: \s assert=
read1 char: \s assert=
read-sp checked-number
read-sp month-abbreviations index 1 + check-timestamp
read-sp checked-number spin
read-hh:mm:ss
read-hh-mm-ss
" " read-until drop parse-rfc822-gmt-offset <timestamp> ;
: rfc822>timestamp ( str -- timestamp )
@ -117,11 +117,11 @@ CONSTANT: rfc822-named-zones H{
: (cookie-string>timestamp-1) ( -- timestamp )
"," read-token check-day-name
read1 CHAR: \s assert=
read1 char: \s assert=
"-" read-token checked-number
"-" read-token month-abbreviations index 1 + check-timestamp
read-sp checked-number spin
read-hh:mm:ss
read-hh-mm-ss
" " read-until drop parse-rfc822-gmt-offset <timestamp> ;
: cookie-string>timestamp-1 ( str -- timestamp )
@ -131,7 +131,7 @@ CONSTANT: rfc822-named-zones H{
read-sp check-day-name
read-sp month-abbreviations index 1 + check-timestamp
read-sp checked-number
read-hh:mm:ss
read-hh-mm-ss
[ read-sp checked-number ] 5 ndip
" " read-until drop parse-rfc822-gmt-offset <timestamp> ;

View File

@ -18,7 +18,7 @@ IN: calendar.windows
]
} cleave \ SYSTEMTIME <struct-boa> ;
: SYSTEMTIME>timestamp ( SYSTEMTIME -- timestamp )
: \SYSTEMTIME>timestamp ( SYSTEMTIME -- timestamp )
{
[ wYear>> ]
[ wMonth>> ]
@ -31,11 +31,11 @@ IN: calendar.windows
M: windows gmt-offset
TIME_ZONE_INFORMATION <struct>
dup GetTimeZoneInformation {
{ TIME_ZONE_ID_INVALID [ win32-error ] }
{ TIME_ZONE_ID_INVALID [ win32-error-string throw ] }
{ TIME_ZONE_ID_UNKNOWN [ Bias>> ] }
{ TIME_ZONE_ID_STANDARD [ Bias>> ] }
{ TIME_ZONE_ID_DAYLIGHT [ [ Bias>> ] [ DaylightBias>> ] bi + ] }
} case neg 60 /mod 0 ;
M: windows gmt
SYSTEMTIME <struct> [ GetSystemTime ] keep SYSTEMTIME>timestamp ;
SYSTEMTIME <struct> [ GetSystemTime ] keep \SYSTEMTIME>timestamp ;

View File

@ -58,7 +58,6 @@ $nl
$nl
"Given the id from the snippet above, a remote node can put items in the channel (where 123456 is the id):"
$nl
{ $snippet "\"myhost.com\" 9001 <node> 123456 <remote-channel>\n\"hello\" over to" }
;
{ $snippet "\"myhost.com\" 9001 <node> 123456 <remote-channel>\n\"hello\" over to" } ;
ABOUT: "channels.remote"

View File

@ -1,4 +1,4 @@
USING: checksums checksums.adler-32 strings tools.test ;
{ 300286872 } [ "Wikipedia" adler-32 checksum-bytes ] unit-test
{ 2679885283 } [ 10000 CHAR: a <string> adler-32 checksum-bytes ] unit-test
{ 2679885283 } [ 10000 char: a <string> adler-32 checksum-bytes ] unit-test

View File

@ -1,4 +1,4 @@
USING: checksums checksums.bsd strings tools.test ;
{ 15816 } [ "Wikipedia" bsd checksum-bytes ] unit-test
{ 47937 } [ 10000 CHAR: a <string> bsd checksum-bytes ] unit-test
{ 47937 } [ 10000 char: a <string> bsd checksum-bytes ] unit-test

View File

@ -36,5 +36,5 @@ M: crc16 checksum-bytes
M: crc16 checksum-lines
init-crc16
[ [ (crc16) ] each CHAR: \n (crc16) ] each
[ [ (crc16) ] each char: \n (crc16) ] each
finish-crc16 ; inline

View File

@ -1,8 +1,7 @@
! Copyright (C) 2013 John Benediktsson
! See http://factorcode.org/license.txt for BSD license
USING: checksums grouping io.binary kernel locals math sequences
;
USING: checksums grouping io.binary kernel locals math sequences ;
IN: checksums.fletcher

View File

@ -64,7 +64,4 @@ USING: checksums checksums.ripemd strings tools.test ;
0x69 0x7b 0xdb 0xe1 0x6d
0x37 0xf9 0x7f 0x68 0xf0
0x83 0x25 0xdc 0x15 0x28
} } [ 1000000 CHAR: a <string> ripemd-160 checksum-bytes ] unit-test
} } [ 1000000 char: a <string> ripemd-160 checksum-bytes ] unit-test

View File

@ -5,7 +5,7 @@ IN: checksums.sha.tests
{ "a9993e364706816aba3e25717850c26c9cd0d89d" } [ "abc" sha1 checksum-bytes bytes>hex-string ] unit-test
{ "84983e441c3bd26ebaae4aa1f95129e5e54670f1" } [ "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq" sha1 checksum-bytes bytes>hex-string ] unit-test
! [ "34aa973cd4c4daa4f61eeb2bdbad27316534016f" ] [ 1000000 CHAR: a fill string>sha1str ] unit-test ! takes a long time...
! [ "34aa973cd4c4daa4f61eeb2bdbad27316534016f" ] [ 1000000 char: a fill string>sha1str ] unit-test ! takes a long time...
{ "dea356a2cddd90c7a7ecedc5ebb563934f460452" } [ "0123456701234567012345670123456701234567012345670123456701234567"
10 swap <array> concat sha1 checksum-bytes bytes>hex-string ] unit-test

View File

@ -7,10 +7,10 @@ IN: circular.tests
{ 0 } [ { 0 1 2 3 4 } <circular> 0 swap virtual@ drop ] unit-test
{ 2 } [ { 0 1 2 3 4 } <circular> 2 swap virtual@ drop ] unit-test
{ CHAR: t } [ "test" <circular> 0 swap nth ] unit-test
{ char: t } [ "test" <circular> 0 swap nth ] unit-test
{ "test" } [ "test" <circular> >string ] unit-test
{ CHAR: e } [ "test" <circular> 5 swap nth-unsafe ] unit-test
{ char: e } [ "test" <circular> 5 swap nth-unsafe ] unit-test
{ [ 1 2 3 ] } [ { 1 2 3 } <circular> [ ] like ] unit-test
{ [ 2 3 1 ] } [ { 1 2 3 } <circular> [ rotate-circular ] keep [ ] like ] unit-test
@ -19,9 +19,9 @@ IN: circular.tests
{ [ 3 1 2 ] } [ { 1 2 3 } <circular> 1 over change-circular-start 1 over change-circular-start [ ] like ] unit-test
{ [ 3 1 2 ] } [ { 1 2 3 } <circular> -100 over change-circular-start [ ] like ] unit-test
{ "fob" } [ "foo" <circular> CHAR: b 2 pick set-nth >string ] unit-test
{ "boo" } [ "foo" <circular> CHAR: b 3 pick set-nth-unsafe >string ] unit-test
{ "ornact" } [ "factor" <circular> 4 over change-circular-start CHAR: n 2 pick set-nth >string ] unit-test
{ "fob" } [ "foo" <circular> char: b 2 pick set-nth >string ] unit-test
{ "boo" } [ "foo" <circular> char: b 3 pick set-nth-unsafe >string ] unit-test
{ "ornact" } [ "factor" <circular> 4 over change-circular-start char: n 2 pick set-nth >string ] unit-test
{ "bcd" } [ 3 <circular-string> "abcd" [ over circular-push ] each >string ] unit-test
@ -29,7 +29,7 @@ IN: circular.tests
! This no longer fails
! [ "test" <circular> 5 swap nth ] must-fail
! [ "foo" <circular> CHAR: b 3 rot set-nth ] must-fail
! [ "foo" <circular> char: b 3 rot set-nth ] must-fail
{ { } } [ 3 <growing-circular> >array ] unit-test
{ { 1 2 } } [

View File

@ -13,36 +13,36 @@ IN: classes.struct.prettyprint
: struct-definer-word ( class -- word )
struct-slots
{
{ [ dup [ packed?>> ] all? ] [ drop \ PACKED-STRUCT: ] }
{ [ dup length 1 <= ] [ drop \ STRUCT: ] }
{ [ dup [ offset>> 0 = ] all? ] [ drop \ UNION-STRUCT: ] }
[ drop \ STRUCT: ]
{ [ dup [ packed?>> ] all? ] [ drop \ \PACKED-STRUCT: ] }
{ [ dup length 1 <= ] [ drop \ \STRUCT: ] }
{ [ dup [ offset>> 0 = ] all? ] [ drop \ \UNION-STRUCT: ] }
[ drop \ \STRUCT: ]
} cond ;
: struct>assoc ( struct -- assoc )
[ class-of struct-slots ] [ struct-slot-values ] bi zip ;
: pprint-struct-slot ( slot -- )
<flow \ { pprint-word
<flow \ \{ pprint-word
f <inset {
[ name>> text ]
[ type>> pprint-c-type ]
[ read-only>> [ \ read-only pprint-word ] when ]
[ initial>> [ \ initial: pprint-word pprint* ] when* ]
[ initial>> [ \ \initial: pprint-word pprint* ] when* ]
[
dup struct-bit-slot-spec?
[ \ bits: pprint-word bits>> pprint* ]
[ \ \bits: pprint-word bits>> pprint* ]
[ drop ] if
]
} cleave block>
\ } pprint-word block> ;
\ \} pprint-word block> ;
: pprint-struct ( struct -- )
[
[ \ S{ ] dip
[ \ \S{ ] dip
[ class-of ]
[ struct>assoc [ [ name>> ] dip ] assoc-map ] bi
\ } (pprint-tuple)
\ \} (pprint-tuple)
] ?pprint-tuple ;
: pprint-struct-pointer ( struct -- )
@ -53,10 +53,10 @@ PRIVATE>
M: struct-class see-class*
<colon dup struct-definer-word pprint-word dup pprint-word
<block struct-slots [ pprint-struct-slot ] each
block> pprint-; block> ;
block> pprint-semi block> ;
M: struct pprint-delims
drop \ S{ \ } ;
drop \ \S{ \ \} ;
M: struct >pprint-sequence
[ class-of ] [ struct-slot-values ] bi class-slot-sequence ;

View File

@ -28,10 +28,10 @@ HELP: <struct>
{ <struct> <struct-boa> malloc-struct memory>struct } related-words
HELP: STRUCT:
HELP: \STRUCT:
{ $syntax "STRUCT: class { slot type } { slot type } ... ;" }
{ $values { "class" "a new " { $link struct } " class to define" } { "slots" "a list of slot specifiers" } }
{ $description "Defines a new " { $link struct } " type. The syntax is nearly identical to " { $link POSTPONE: TUPLE: } "; however, there are some additional restrictions on struct types:"
{ $description "Defines a new " { $link struct } " type. The syntax is nearly identical to " { $link postpone: \TUPLE: } "; however, there are some additional restrictions on struct types:"
{ $list
{ "Struct classes cannot have a superclass defined." }
{ "The slots of a struct must all have a type declared. The type must be a C type." }
@ -39,45 +39,45 @@ HELP: STRUCT:
}
"Additionally, structs may use bit fields. A slot specifier may use the syntax " { $snippet "bits: n" } " to specify that the bit width of the slot is " { $snippet "n" } ". Bit width may be specified on signed or unsigned integer slots. The layout of bit fields is not guaranteed to match that of any particular C compiler." } ;
HELP: S{
HELP: \S{
{ $syntax "S{ class slots... }" }
{ $values { "class" "a " { $link struct } " class word" } { "slots" "slot values" } }
{ $description "Marks the beginning of a literal struct. The syntax is identical to tuple literal syntax with " { $link POSTPONE: T{ } { $snippet " }" } "; either the assoc syntax (that is, " { $snippet "S{ class { slot value } { slot value } ... }" } ") or the simple syntax (" { $snippet "S{ class f value value ... }" } ") can be used." } ;
{ $description "Marks the beginning of a literal struct. The syntax is identical to tuple literal syntax with " { $link postpone: \T{ } { $snippet " }" } "; either the assoc syntax (that is, " { $snippet "S{ class { slot value } { slot value } ... }" } ") or the simple syntax (" { $snippet "S{ class f value value ... }" } ") can be used." } ;
HELP: S@
{ $syntax "S@ class alien" }
{ $values { "class" "a " { $link struct } " class word" } { "alien" "a literal alien" } }
{ $description "Marks the beginning of a literal struct at a specific C address. The prettyprinter uses this syntax when the memory backing a struct object is invalid. This syntax should not generally be used in source code." } ;
{ POSTPONE: S{ POSTPONE: S@ } related-words
{ postpone: \S{ postpone: S@ } related-words
HELP: UNION-STRUCT:
HELP: \UNION-STRUCT:
{ $syntax "UNION-STRUCT: class { slot type } { slot type } ... ;" }
{ $values { "class" "a new " { $link struct } " class to define" } { "slots" "a list of slot specifiers" } }
{ $description "Defines a new " { $link struct } " type where all of the slots share the same storage. See " { $link POSTPONE: STRUCT: } " for details on the syntax." } ;
{ $description "Defines a new " { $link struct } " type where all of the slots share the same storage. See " { $link postpone: \STRUCT: } " for details on the syntax." } ;
HELP: PACKED-STRUCT:
HELP: \PACKED-STRUCT:
{ $syntax "PACKED-STRUCT: class { slot type } { slot type } ... ;" }
{ $values { "class" "a new " { $link struct } " class to define" } { "slots" "a list of slot specifiers" } }
{ $description "Defines a new " { $link struct } " type with no alignment padding between slots or at the end. In all other respects, behaves like " { $link POSTPONE: STRUCT: } "." } ;
{ $description "Defines a new " { $link struct } " type with no alignment padding between slots or at the end. In all other respects, behaves like " { $link postpone: \STRUCT: } "." } ;
HELP: define-struct-class
{ $values
{ "class" class } { "slots" "a sequence of " { $link struct-slot-spec } "s" }
}
{ $description "Defines a new " { $link struct } " class. This is the runtime equivalent of the " { $link POSTPONE: STRUCT: } " syntax." } ;
{ $description "Defines a new " { $link struct } " class. This is the runtime equivalent of the " { $link postpone: \STRUCT: } " syntax." } ;
HELP: define-packed-struct-class
{ $values
{ "class" class } { "slots" "a sequence of " { $link struct-slot-spec } "s" }
}
{ $description "Defines a new " { $link struct } " class. This is the runtime equivalent of the " { $link POSTPONE: PACKED-STRUCT: } " syntax." } ;
{ $description "Defines a new " { $link struct } " class. This is the runtime equivalent of the " { $link postpone: \PACKED-STRUCT: } " syntax." } ;
HELP: define-union-struct-class
{ $values
{ "class" class } { "slots" "a sequence of " { $link struct-slot-spec } "s" }
}
{ $description "Defines a new " { $link struct } " class where all of the slots share the same storage. This is the runtime equivalent of the " { $link POSTPONE: UNION-STRUCT: } " syntax." } ;
{ $description "Defines a new " { $link struct } " class where all of the slots share the same storage. This is the runtime equivalent of the " { $link postpone: \UNION-STRUCT: } " syntax." } ;
HELP: malloc-struct
{ $values
@ -111,7 +111,7 @@ HELP: read-struct
HELP: struct
{ $class-description "The parent class of all struct types." } ;
{ struct POSTPONE: STRUCT: POSTPONE: UNION-STRUCT: } related-words
{ struct postpone: \STRUCT: postpone: \UNION-STRUCT: } related-words
HELP: struct-class
{ $class-description "The metaclass of all " { $link struct } " classes." } ;
@ -145,10 +145,10 @@ ARTICLE: "classes.struct.examples" "Struct class examples"
} ;
ARTICLE: "classes.struct.define" "Defining struct classes"
"Struct classes are defined using a syntax similar to the " { $link POSTPONE: TUPLE: } " syntax for defining tuple classes:"
{ $subsections POSTPONE: STRUCT: POSTPONE: PACKED-STRUCT: }
"Struct classes are defined using a syntax similar to the " { $link postpone: \TUPLE: } " syntax for defining tuple classes:"
{ $subsections postpone: \STRUCT: postpone: \PACKED-STRUCT: }
"Union structs are also supported, which behave like structs but share the same memory for all the slots."
{ $subsections POSTPONE: UNION-STRUCT: } ;
{ $subsections postpone: \UNION-STRUCT: } ;
ARTICLE: "classes.struct.create" "Creating instances of structs"
"Structs can be allocated with " { $link new } "- and " { $link boa } "-like constructor words. Additional words are provided for building structs from C memory and from existing buffers:"
@ -163,8 +163,8 @@ ARTICLE: "classes.struct.create" "Creating instances of structs"
(struct)
(malloc-struct)
}
"Structs have literal syntax, similar to " { $link POSTPONE: T{ } " for tuples:"
{ $subsections POSTPONE: S{ } ;
"Structs have literal syntax, similar to " { $link postpone: \T{ } " for tuples:"
{ $subsections postpone: \S{ } ;
ARTICLE: "classes.struct.c" "Passing structs to C functions"
"Structs can be passed and returned by value, or by reference."

View File

@ -133,7 +133,7 @@ STRUCT: struct-test-bar
[ make-mirror clear-assoc ] keep
] unit-test
{ POSTPONE: STRUCT: }
{ postpone: \STRUCT: }
[ struct-test-foo struct-definer-word ] unit-test
UNION-STRUCT: struct-test-float-and-bits
@ -145,7 +145,7 @@ UNION-STRUCT: struct-test-float-and-bits
{ 123 } [ [ struct-test-foo malloc-struct &free y>> ] with-destructors ] unit-test
{ POSTPONE: UNION-STRUCT: }
{ postpone: \UNION-STRUCT: }
[ struct-test-float-and-bits struct-definer-word ] unit-test
STRUCT: struct-test-string-ptr
@ -325,11 +325,11 @@ STRUCT: clone-test-struct { x int } { y char[3] } ;
] with-destructors
] unit-test
STRUCT: struct-that's-a-word { x int } ;
STRUCT: struct-that-is-a-word { x int } ;
: struct-that's-a-word ( -- ) "OOPS" throw ;
: struct-that-is-a-word ( -- ) "OOPS" throw ;
{ -77 } [ S{ struct-that's-a-word { x -77 } } clone x>> ] unit-test
{ -77 } [ S{ struct-that-is-a-word { x -77 } } clone x>> ] unit-test
! Interactive parsing of struct slot definitions
[
@ -492,7 +492,7 @@ PACKED-STRUCT: packed-struct-test
{ 10 } [ "g" packed-struct-test offset-of ] unit-test
{ 11 } [ "h" packed-struct-test offset-of ] unit-test
{ POSTPONE: PACKED-STRUCT: }
{ postpone: \PACKED-STRUCT: }
[ packed-struct-test struct-definer-word ] unit-test
STRUCT: struct-1 { a c:int } ;

View File

@ -144,7 +144,7 @@ M: struct-class initial-value* <struct> t ; inline
GENERIC: struct-slot-values ( struct -- sequence )
M: struct-class reader-quot
dup type>> array? [ dup type>> first define-array-vocab drop ] when
dup type>> array? [ dup type>> first underlying-type define-specialized-array ] when
nip '[ _ read-struct-slot ] ;
M: struct-class writer-quot
@ -330,7 +330,7 @@ M: struct-class reset-class
[ call-next-method ]
} cleave ;
SYMBOL: bits:
SYMBOL: \bits:
<PRIVATE
@ -364,7 +364,7 @@ PRIVATE>
<PRIVATE
: parse-struct-slot ( -- slot )
scan-token scan-c-type \ } parse-until <struct-slot-spec> ;
scan-token scan-c-type \ \} parse-until <struct-slot-spec> ;
: parse-struct-slots ( slots -- slots' more? )
scan-token {
@ -378,16 +378,16 @@ PRIVATE>
dup [ name>> ] map check-duplicate-slots ;
PRIVATE>
SYNTAX: STRUCT:
SYNTAX: \STRUCT:
parse-struct-definition define-struct-class ;
SYNTAX: PACKED-STRUCT:
SYNTAX: \PACKED-STRUCT:
parse-struct-definition define-packed-struct-class ;
SYNTAX: UNION-STRUCT:
SYNTAX: \UNION-STRUCT:
parse-struct-definition define-union-struct-class ;
SYNTAX: S{
SYNTAX: \S{
scan-word dup struct-slots parse-tuple-literal-slots suffix! ;
SYNTAX: S@
@ -397,10 +397,10 @@ SYNTAX: S@
<PRIVATE
: scan-c-type* ( -- c-type/param )
scan-token dup "{" = [ drop \ } parse-until >array ] [ search ] if ;
scan-token dup "{" = [ drop \ \} parse-until >array ] [ search ] if ;
: parse-struct-slot* ( accum -- accum )
scan-string-param scan-c-type* \ } parse-until
scan-string-param scan-c-type* \ \} parse-until
[ <struct-slot-spec> suffix! ] 3curry append! ;
: parse-struct-slots* ( accum -- accum more? )
@ -412,7 +412,7 @@ SYNTAX: S@
PRIVATE>
FUNCTOR-SYNTAX: STRUCT:
FUNCTOR-SYNTAX: \STRUCT:
scan-param suffix!
[ 8 <vector> ] append!
[ parse-struct-slots* ] [ ] while

View File

@ -7,7 +7,7 @@ HELP: run-apple-script
{ $description "Runs the provided uncompiled AppleScript code." }
{ $notes "Currently, return values are unsupported." } ;
HELP: APPLESCRIPT:
HELP: \APPLESCRIPT:
{ $syntax "APPLESCRIPT: word [[ ...applescript string... ]] " }
{ $values { "word" "a new word to define" } { "...applescript string..." "AppleScript source text" } }
{ $description "Defines a word that when called will run the provided uncompiled AppleScript. The word has stack effect " { $snippet "( -- )" } " due to return values being currently unsupported." } ;

View File

@ -7,10 +7,10 @@ multiline words ;
IN: cocoa.apple-script
: run-apple-script ( str -- )
[ NSAppleScript -> alloc ] dip
<NSString> -> initWithSource: -> autorelease
f -> executeAndReturnError: drop ;
[ NSAppleScript send: alloc ] dip
<NSString> send: \initWithSource: send: autorelease
f send: \executeAndReturnError: drop ;
SYNTAX: APPLESCRIPT:
SYNTAX: \APPLESCRIPT:
scan-new-word scan-object
[ run-apple-script ] curry ( -- ) define-declared ;

View File

@ -6,7 +6,7 @@ HELP: <NSString>
{ $values { "str" string } { "alien" alien } }
{ $description "Allocates an autoreleased " { $snippet "CFString" } "." } ;
{ <NSString> <CFString> CF>string } related-words
{ <NSString> <CFString> CFString>string } related-words
HELP: with-autorelease-pool
{ $values { "quot" quotation } }

View File

@ -4,16 +4,16 @@ USING: alien.c-types alien.syntax cocoa cocoa.classes
cocoa.runtime core-foundation.strings kernel sequences ;
IN: cocoa.application
: <NSString> ( str -- alien ) <CFString> -> autorelease ;
: <NSString> ( str -- alien ) <CFString> send: autorelease ;
CONSTANT: NSApplicationDelegateReplySuccess 0
CONSTANT: NSApplicationDelegateReplyCancel 1
CONSTANT: NSApplicationDelegateReplyFailure 2
: with-autorelease-pool ( quot -- )
NSAutoreleasePool -> new [ call ] [ -> release ] bi* ; inline
NSAutoreleasePool send: new [ call ] [ send: release ] bi* ; inline
: NSApp ( -- app ) NSApplication -> sharedApplication ;
: NSApp ( -- app ) NSApplication send: sharedApplication ;
CONSTANT: NSAnyEventMask 0xffffffff
@ -24,24 +24,24 @@ FUNCTION: void NSBeep ( )
: add-observer ( observer selector name object -- )
[
[ NSNotificationCenter -> defaultCenter ] 2dip
[ NSNotificationCenter send: defaultCenter ] 2dip
sel_registerName
] 2dip -> addObserver:selector:name:object: ;
] 2dip send: \addObserver:selector:name:object: ;
: remove-observer ( observer -- )
[ NSNotificationCenter -> defaultCenter ] dip
-> removeObserver: ;
[ NSNotificationCenter send: defaultCenter ] dip
send: \removeObserver: ;
: cocoa-app ( quot -- )
[ call NSApp -> run ] with-cocoa ; inline
[ call NSApp send: run ] with-cocoa ; inline
: install-delegate ( receiver delegate -- )
-> alloc -> init -> setDelegate: ;
send: alloc send: init send: \setDelegate: ;
: running.app? ( -- ? )
! Test if we're running a .app.
".app"
NSBundle -> mainBundle -> bundlePath CF>string
NSBundle send: mainBundle send: bundlePath CFString>string
subseq? ;
: assert.app ( message -- )

View File

@ -2,36 +2,36 @@ USING: cocoa.messages help.markup help.syntax strings
alien core-foundation ;
IN: cocoa
HELP: ->
{ $syntax "-> selector" }
HELP: \send:
{ $syntax "send: selector" }
{ $values { "selector" "an Objective C method name" } }
{ $description "A sugared form of the following:" }
{ $code "\"selector\" send" } ;
HELP: SUPER->
{ $syntax "-> selector" }
HELP: \super:
{ $syntax "super: selector" }
{ $values { "selector" "an Objective C method name" } }
{ $description "A sugared form of the following:" }
{ $code "\"selector\" send-super" } ;
{ send super-send POSTPONE: -> POSTPONE: SUPER-> } related-words
{ send super-send postpone: \send: postpone: \super: } related-words
HELP: IMPORT:
HELP: \IMPORT:
{ $syntax "IMPORT: name" }
{ $description "Makes an Objective C class available for use." }
{ $examples
{ $code "IMPORT: QTMovie" "QTMovie \"My Movie.mov\" <NSString> f -> movieWithFile:error:" }
{ $code "IMPORT: QTMovie" "QTMovie \"My Movie.mov\" <NSString> f send: \\movieWithFile:error:" }
} ;
ARTICLE: "objc-calling" "Calling Objective C code"
"Before an Objective C class can be used, it must be imported; by default, a small set of common classes are imported automatically, but additional classes can be imported as needed."
{ $subsections POSTPONE: IMPORT: }
{ $subsections postpone: \IMPORT: }
"Every imported Objective C class has as corresponding class word in the " { $vocab-link "cocoa.classes" } " vocabulary. Class words push the class object in the stack, allowing class methods to be invoked."
$nl
"Messages can be sent to classes and instances using a pair of parsing words:"
{ $subsections
POSTPONE: ->
POSTPONE: SUPER->
postpone: \send:
postpone: \super:
}
"These parsing words are actually syntax sugar for a pair of ordinary words; they can be used instead of the parsing words if the selector name is dynamically computed:"
{ $subsections

View File

@ -4,15 +4,15 @@ namespaces tools.test ;
IN: cocoa.tests
<CLASS: Foo < NSObject
METHOD: void foo: NSRect rect [
COCOA-METHOD: void foo: NSRect rect [
gc rect "x" set
] ;
;CLASS>
: test-foo ( -- )
Foo -> alloc -> init
dup 1.0 2.0 101.0 102.0 <CGRect> -> foo:
-> release ;
Foo send: alloc send: init
dup 1.0 2.0 101.0 102.0 <CGRect> send: \foo:
send: release ;
{ } [ test-foo ] unit-test
@ -22,14 +22,14 @@ IN: cocoa.tests
{ 102.0 } [ "x" get CGRect-h ] unit-test
<CLASS: Bar < NSObject
METHOD: NSRect bar [ test-foo "x" get ] ;
COCOA-METHOD: NSRect bar [ test-foo "x" get ] ;
;CLASS>
{ } [
Bar [
-> alloc -> init
dup -> bar "x" set
-> release
send: alloc send: init
dup send: bar "x" set
send: release
] compile-call
] unit-test
@ -40,15 +40,15 @@ IN: cocoa.tests
! Make sure that we can add methods
<CLASS: Bar < NSObject
METHOD: NSRect bar [ test-foo "x" get ] ;
COCOA-METHOD: NSRect bar [ test-foo "x" get ] ;
METHOD: int babb: int x [ x sq ] ;
COCOA-METHOD: int babb: int x [ x sq ] ;
;CLASS>
{ 144 } [
Bar [
-> alloc -> init
dup 12 -> babb:
swap -> release
send: alloc send: init
dup 12 send: \babb:
swap send: release
] compile-call
] unit-test

View File

@ -4,46 +4,41 @@ USING: assocs cocoa.messages compiler.units core-foundation.bundles
hashtables init io kernel lexer namespaces sequences vocabs ;
IN: cocoa
SYMBOL: sent-messages
sent-messages [ H{ } clone ] initialize
INITIALIZED-SYMBOL: sent-messages [ H{ } clone ]
: remember-send ( selector -- )
dup sent-messages get set-at ;
SYNTAX: ->
scan-token dup remember-send
SYNTAX: \send:
scan-token unescape-token dup remember-send
[ lookup-method suffix! ] [ suffix! ] bi \ send suffix! ;
SYNTAX: ?->
SYNTAX: \?send:
dup last cache-stubs
scan-token dup remember-send
scan-token unescape-token dup remember-send
suffix! \ send suffix! ;
SYNTAX: SEL:
scan-token dup remember-send
<selector> suffix! \ cocoa.messages:selector suffix! ;
SYNTAX: \selector:
scan-token unescape-token
[ remember-send ]
[ <selector> suffix! \ cocoa.messages:selector suffix! ] bi ;
SYMBOL: super-sent-messages
super-sent-messages [ H{ } clone ] initialize
INITIALIZED-SYMBOL: super-sent-messages [ H{ } clone ]
: remember-super-send ( selector -- )
dup super-sent-messages get set-at ;
SYNTAX: SUPER->
scan-token dup remember-super-send
SYNTAX: \super:
scan-token unescape-token dup remember-super-send
[ lookup-method suffix! ] [ suffix! ] bi \ super-send suffix! ;
SYMBOL: frameworks
frameworks [ V{ } clone ] initialize
INITIALIZED-SYMBOL: frameworks [ V{ } clone ]
[ frameworks get [ load-framework ] each ] "cocoa" add-startup-hook
SYNTAX: FRAMEWORK: scan-token [ load-framework ] [ frameworks get push ] bi ;
SYNTAX: \FRAMEWORK: scan-token [ load-framework ] [ frameworks get push ] bi ;
SYNTAX: IMPORT: scan-token [ ] import-objc-class ;
SYNTAX: \IMPORT: scan-token [ ] import-objc-class ;
"Importing Cocoa classes..." print

View File

@ -5,27 +5,27 @@ core-foundation.strings kernel splitting ;
IN: cocoa.dialogs
: <NSOpenPanel> ( -- panel )
NSOpenPanel -> openPanel
dup 1 -> setCanChooseFiles:
dup 0 -> setCanChooseDirectories:
dup 1 -> setResolvesAliases:
dup 1 -> setAllowsMultipleSelection: ;
NSOpenPanel send: openPanel
dup 1 send: \setCanChooseFiles:
dup 0 send: \setCanChooseDirectories:
dup 1 send: \setResolvesAliases:
dup 1 send: \setAllowsMultipleSelection: ;
: <NSDirPanel> ( -- panel ) <NSOpenPanel>
dup 1 -> setCanChooseDirectories: ;
dup 1 send: \setCanChooseDirectories: ;
: <NSSavePanel> ( -- panel )
NSSavePanel -> savePanel
dup 1 -> setCanChooseFiles:
dup 0 -> setCanChooseDirectories:
dup 0 -> setAllowsMultipleSelection: ;
NSSavePanel send: savePanel
dup 1 send: \setCanChooseFiles:
dup 0 send: \setCanChooseDirectories:
dup 0 send: \setAllowsMultipleSelection: ;
CONSTANT: NSOKButton 1
CONSTANT: NSCancelButton 0
: (open-panel) ( panel -- paths )
dup -> runModal NSOKButton =
[ -> filenames CF>string-array ] [ drop f ] if ;
dup send: runModal NSOKButton =
[ send: filenames CFString>string-array ] [ drop f ] if ;
: open-panel ( -- paths ) <NSOpenPanel> (open-panel) ;
@ -36,5 +36,5 @@ CONSTANT: NSCancelButton 0
: save-panel ( path -- path/f )
[ <NSSavePanel> dup ] dip
split-path -> runModalForDirectory:file: NSOKButton =
[ -> filename CF>string ] [ drop f ] if ;
split-path send: \runModalForDirectory:file: NSOKButton =
[ send: filename CFString>string ] [ drop f ] if ;

View File

@ -17,7 +17,7 @@ CONSTANT: NS-EACH-BUFFER-SIZE 16
] with-destructors ; inline
:: (NSFastEnumeration-each) ( ... object quot: ( ... elt -- ) state stackbuf count -- ... )
object state stackbuf count -> countByEnumeratingWithState:objects:count: :> items-count
object state stackbuf count send: \countByEnumeratingWithState:objects:count: :> items-count
items-count 0 = [
state itemsPtr>> [ items-count id <c-direct-array> ] [ stackbuf ] if* :> items
items-count <iota> [ items nth quot call ] each

View File

@ -14,7 +14,7 @@ HELP: super-send
HELP: objc-class
{ $values { "string" string } { "class" alien } }
{ $description "Outputs the Objective C class named by " { $snippet "string" } ". This class can then be used as the receiver in message sends calling class methods, for example:"
{ $code "NSMutableArray -> alloc" } }
{ $code "NSMutableArray send: alloc" } }
{ $errors "Throws an error if there is no class named by " { $snippet "string" } "." } ;
HELP: objc-meta-class

View File

@ -24,11 +24,8 @@ SPECIALIZED-ARRAY: void*
over first large-struct? [ "_stret" append ] when
make-sender dup infer define-declared ;
SYMBOL: message-senders
SYMBOL: super-message-senders
message-senders [ H{ } clone ] initialize
super-message-senders [ H{ } clone ] initialize
INITIALIZED-SYMBOL: message-senders [ H{ } clone ]
INITIALIZED-SYMBOL: super-message-senders [ H{ } clone ]
:: cache-stub ( signature function assoc -- )
signature assoc [ function sender-stub ] cache drop ;
@ -45,7 +42,7 @@ super-message-senders [ H{ } clone ] initialize
TUPLE: selector-tuple name object ;
: selector-name ( name -- name' )
CHAR: . over index [ 0 > [ "." split1 nip ] when ] when* ;
char: . over index [ 0 > [ "." split1 nip ] when ] when* ;
MEMO: <selector> ( name -- sel )
selector-name f selector-tuple boa ;
@ -188,7 +185,7 @@ cell {
assoc-union alien>objc-types set-global
: objc-struct-type ( i string -- ctype )
[ CHAR: = ] 2keep index-from swap subseq
[ char: = ] 2keep index-from swap subseq
objc>struct-types get at* [ drop void* ] unless ;
ERROR: no-objc-type name ;
@ -200,9 +197,9 @@ ERROR: no-objc-type name ;
: (parse-objc-type) ( i string -- ctype )
[ [ 1 + ] dip ] [ nth ] 2bi {
{ [ dup "rnNoORV" member? ] [ drop (parse-objc-type) ] }
{ [ dup CHAR: ^ = ] [ 3drop void* ] }
{ [ dup CHAR: { = ] [ drop objc-struct-type ] }
{ [ dup CHAR: [ = ] [ 3drop void* ] }
{ [ dup char: ^ = ] [ 3drop void* ] }
{ [ dup char: \{ = ] [ drop objc-struct-type ] }
{ [ dup char: \[ = ] [ 3drop void* ] }
[ 2nip decode-type ]
} cond ;
@ -238,7 +235,7 @@ ERROR: no-objc-type name ;
: method-collisions ( -- collisions )
objc-methods get >alist
[ first CHAR: . swap member? ] filter
[ first char: . swap member? ] filter
[ first "." split1 nip ] collect-by
[ nip values members length 1 > ] assoc-filter ;

View File

@ -6,15 +6,15 @@ IN: cocoa.nibs
: load-nib ( name -- )
NSBundle
swap <NSString> NSApp -> loadNibNamed:owner:
swap <NSString> NSApp send: \loadNibNamed:owner:
drop ;
: nib-named ( nib-name -- anNSNib )
<NSString> NSNib -> alloc swap f -> initWithNibNamed:bundle:
dup [ -> autorelease ] when ;
<NSString> NSNib send: alloc swap f send: \initWithNibNamed:bundle:
dup [ send: autorelease ] when ;
: nib-objects ( anNSNib -- objects/f )
f
{ void* } [ -> instantiateNibWithOwner:topLevelObjects: ]
{ void* } [ send: \instantiateNibWithOwner:topLevelObjects: ]
with-out-parameters
swap [ CF>array ] [ drop f ] if ;
swap [ CFArray>array ] [ drop f ] if ;

View File

@ -1,26 +1,25 @@
! Copyright (C) 2006, 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: alien.accessors arrays cocoa cocoa.application
core-foundation.arrays core-foundation.strings kernel sequences
;
core-foundation.arrays core-foundation.strings kernel sequences ;
IN: cocoa.pasteboard
CONSTANT: NSStringPboardType "NSStringPboardType"
: pasteboard-string? ( pasteboard -- ? )
NSStringPboardType swap -> types CF>string-array member? ;
NSStringPboardType swap send: types CFString>string-array member? ;
: pasteboard-string ( pasteboard -- str )
NSStringPboardType <NSString> -> stringForType:
dup [ CF>string ] when ;
NSStringPboardType <NSString> send: \stringForType:
dup [ CFString>string ] when ;
: set-pasteboard-types ( seq pasteboard -- )
swap <CFArray> -> autorelease f -> declareTypes:owner: drop ;
swap <CFArray> send: autorelease f send: \declareTypes:owner: drop ;
: set-pasteboard-string ( str pasteboard -- )
NSStringPboardType <NSString>
dup 1array pick set-pasteboard-types
[ swap <NSString> ] dip -> setString:forType: drop ;
[ swap <NSString> ] dip send: \setString:forType: drop ;
: pasteboard-error ( error -- f )
"Pasteboard does not hold a string" <NSString>

View File

@ -8,10 +8,10 @@ core-foundation.utilities fry io.backend kernel macros math
quotations sequences ;
IN: cocoa.plists
: >plist ( value -- plist ) >cf -> autorelease ;
: >plist ( value -- plist ) >cf send: autorelease ;
: write-plist ( assoc path -- )
[ >plist ] [ normalize-path <NSString> ] bi* 0 -> writeToFile:atomically:
[ >plist ] [ normalize-path <NSString> ] bi* 0 send: \writeToFile:atomically:
[ "write-plist failed" throw ] unless ;
DEFER: plist>
@ -19,30 +19,30 @@ DEFER: plist>
<PRIVATE
: (plist-NSNumber>) ( NSNumber -- number )
dup -> doubleValue dup >integer =
[ -> longLongValue ] [ -> doubleValue ] if ;
dup send: doubleValue dup >integer =
[ send: longLongValue ] [ send: doubleValue ] if ;
: (plist-NSData>) ( NSData -- byte-array )
dup -> length <byte-array> [ -> getBytes: ] keep ;
dup send: length <byte-array> [ send: \getBytes: ] keep ;
: (plist-NSArray>) ( NSArray -- vector )
[ plist> ] NSFastEnumeration-map ;
: (plist-NSDictionary>) ( NSDictionary -- hashtable )
dup [ [ nip ] [ -> valueForKey: ] 2bi [ plist> ] bi@ ] with
dup [ [ nip ] [ send: \valueForKey: ] 2bi [ plist> ] bi@ ] with
NSFastEnumeration>hashtable ;
: (read-plist) ( NSData -- id )
NSPropertyListSerialization swap kCFPropertyListImmutable f
{ void* }
[ -> propertyListFromData:mutabilityOption:format:errorDescription: ]
[ send: \propertyListFromData:mutabilityOption:format:errorDescription: ]
with-out-parameters
[ -> release "read-plist failed" throw ] when* ;
[ send: release "read-plist failed" throw ] when* ;
MACRO: objc-class-case ( alist -- quot )
[
dup callable?
[ first2 [ '[ dup _ execute -> isKindOfClass: c-bool> ] ] dip 2array ]
[ first2 [ '[ dup _ execute send: \isKindOfClass: c-bool> ] ] dip 2array ]
unless
] map '[ _ cond ] ;
@ -52,7 +52,7 @@ ERROR: invalid-plist-object object ;
: plist> ( plist -- value )
{
{ NSString [ CF>string ] }
{ NSString [ CFString>string ] }
{ NSNumber [ (plist-NSNumber>) ] }
{ NSData [ (plist-NSData>) ] }
{ NSArray [ (plist-NSArray>) ] }
@ -63,5 +63,5 @@ ERROR: invalid-plist-object object ;
: read-plist ( path -- assoc )
normalize-path <NSString>
NSData swap -> dataWithContentsOfFile:
NSData swap send: \dataWithContentsOfFile:
[ (read-plist) plist> ] [ "read-plist failed" throw ] if* ;

View File

@ -1,23 +1,23 @@
USING: help.markup help.syntax strings alien hashtables ;
IN: cocoa.subclassing
HELP: <CLASS:
HELP: \<CLASS:
{ $syntax "<CLASS: name < superclass protocols... imeth... ;CLASS>" }
{ $values { "name" "a new class name" } { "superclass" "a superclass name" } { "protocols" "zero or more protocol names" } { "imeth" "instance method definitions using " { $link POSTPONE: METHOD: } } }
{ $description "Defines a new Objective C class. Instance methods are defined with the " { $link POSTPONE: METHOD: } " parsing word."
{ $values { "name" "a new class name" } { "superclass" "a superclass name" } { "protocols" "zero or more protocol names" } { "imeth" "instance method definitions using " { $link postpone: \COCOA-METHOD: } } }
{ $description "Defines a new Objective C class. Instance methods are defined with the " { $link postpone: \COCOA-METHOD: } " parsing word."
$nl
"This word is preferred to calling " { $link define-objc-class } ", because it creates a class word in the " { $vocab-link "cocoa.classes" } " vocabulary at parse time, allowing code to refer to the class word in the same source file where the class is defined." } ;
{ define-objc-class POSTPONE: <CLASS: POSTPONE: METHOD: } related-words
{ define-objc-class postpone: \<CLASS: postpone: \COCOA-METHOD: } related-words
HELP: METHOD:
{ $syntax "METHOD: return foo: type1 arg1 bar: type2 arg2 baz: ... [ body ] ;" }
HELP: \COCOA-METHOD:
{ $syntax "COCOA-METHOD: return foo: type1 arg1 bar: type2 arg2 baz: ... [ body ] ;" }
{ $values { "return" "a C type name" } { "type1" "a C type name" } { "arg1" "a local variable name" } { "body" "arbitrary code" } }
{ $description "Defines a method inside of a " { $link POSTPONE: <CLASS: } " form." } ;
{ $description "Defines a method inside of a " { $link postpone: \<CLASS: } " form." } ;
ARTICLE: "objc-subclassing" "Subclassing Objective C classes"
"Objective C classes can be subclassed, with new methods defined in Factor, using parsing words:"
{ $subsections POSTPONE: <CLASS: POSTPONE: METHOD: }
{ $subsections postpone: \<CLASS: postpone: \COCOA-METHOD: }
"Objective C class definitions are saved in the image. If the image is saved and Factor is restarted with the saved image, custom class definitions are made available to the Objective C runtime when they are first accessed from within Factor." ;
ABOUT: "objc-subclassing"

View File

@ -71,12 +71,12 @@ IN: cocoa.subclassing
TUPLE: cocoa-protocol name ;
C: <cocoa-protocol> cocoa-protocol
SYNTAX: COCOA-PROTOCOL:
SYNTAX: \COCOA-PROTOCOL:
scan-token <cocoa-protocol> suffix! ;
SYMBOL: ;CLASS>
SYMBOL: \;CLASS>
SYNTAX: <CLASS:
SYNTAX: \<CLASS:
scan-token
"<" expect
scan-token
@ -101,7 +101,7 @@ SYNTAX: <CLASS:
[ [ make-local ] map ] H{ } make
(parse-lambda) <lambda> ?rewrite-closures first ;
SYNTAX: METHOD:
SYNTAX: \COCOA-METHOD:
scan-c-type
parse-selector
parse-method-body [ swap ] 2dip 4array ";" expect

View File

@ -1,23 +1,22 @@
! Copyright (C) 2017 Doug Coleman.
! See http://factorcode.org/license.txt for BSD license.
USING: alien.c-types cocoa cocoa.classes cocoa.messages
cocoa.runtime combinators core-foundation.strings kernel locals
;
cocoa.runtime combinators core-foundation.strings kernel locals ;
IN: cocoa.touchbar
: make-touchbar ( seq self -- touchbar )
[ NSTouchBar -> alloc -> init dup ] dip -> setDelegate: {
[ swap <CFStringArray> { void { id SEL id } } ?-> setDefaultItemIdentifiers: ]
[ swap <CFStringArray> { void { id SEL id } } ?-> setCustomizationAllowedItemIdentifiers: ]
[ NSTouchBar send: alloc send: init dup ] dip send: setDelegate: {
[ swap <CFStringArray> send: \setDefaultItemIdentifiers: ]
[ swap <CFStringArray> send: \setCustomizationAllowedItemIdentifiers: ]
[ nip ]
} 2cleave ;
:: make-NSTouchBar-button ( self identifier label-string action-string -- button )
NSCustomTouchBarItem -> alloc
identifier <CFString> { id { id SEL id } } ?-> initWithIdentifier: :> item
NSCustomTouchBarItem send: alloc
identifier <CFString> send: \initWithIdentifier: :> item
NSButton
label-string <CFString>
self
action-string lookup-selector { id { id SEL id id SEL } } ?-> buttonWithTitle:target:action: :> button
item button -> setView:
action-string lookup-selector send: \buttonWithTitle:target:action: :> button
item button send: \setView:
item ;

View File

@ -59,21 +59,21 @@ CONSTANT: NSOpenGLProfileVersion3_2Core 0x3200
CONSTANT: NSOpenGLProfileVersion4_1Core 0x4100
: <GLView> ( class dim pixel-format -- view )
[ -> alloc ]
[ send: alloc ]
[ [ 0 0 ] dip first2 <CGRect> ]
[ handle>> ] tri*
-> initWithFrame:pixelFormat:
dup 1 -> setPostsBoundsChangedNotifications:
dup 1 -> setPostsFrameChangedNotifications: ;
send: \initWithFrame:pixelFormat:
dup 1 send: \setPostsBoundsChangedNotifications:
dup 1 send: \setPostsFrameChangedNotifications: ;
: view-dim ( view -- dim )
-> bounds
send: bounds
[ CGRect-w >fixnum ] [ CGRect-h >fixnum ] bi
2array ;
: mouse-location ( view event -- loc )
[
-> locationInWindow f -> convertPoint:fromView:
send: locationInWindow f send: \convertPoint:fromView:
[ x>> ] [ y>> ] bi
] [ drop -> frame CGRect-h ] 2bi
] [ drop send: frame CGRect-h ] 2bi
swap - [ >integer ] bi@ 2array ;

View File

@ -22,19 +22,19 @@ CONSTANT: NSBackingStoreNonretained 1
CONSTANT: NSBackingStoreBuffered 2
: <NSWindow> ( rect style class -- window )
[ -> alloc ] curry 2dip NSBackingStoreBuffered 1
-> initWithContentRect:styleMask:backing:defer: ;
[ send: alloc ] curry 2dip NSBackingStoreBuffered 1
send: \initWithContentRect:styleMask:backing:defer: ;
: class-for-style ( style -- NSWindow/NSPanel )
0x1ef0 bitand zero? NSWindow NSPanel ? ;
: <ViewWindow> ( view rect style -- window )
dup class-for-style <NSWindow> [ swap -> setContentView: ] keep
dup dup -> contentView -> setInitialFirstResponder:
dup 1 -> setAcceptsMouseMovedEvents:
dup 0 -> setReleasedWhenClosed: ;
dup class-for-style <NSWindow> [ swap send: \setContentView: ] keep
dup dup send: contentView send: \setInitialFirstResponder:
dup 1 send: \setAcceptsMouseMovedEvents:
dup 0 send: \setReleasedWhenClosed: ;
: window-content-rect ( window -- rect )
dup -> class swap
[ -> frame ] [ -> styleMask ] bi
-> contentRectForFrameRect:styleMask: ;
dup send: class swap
[ send: frame ] [ send: styleMask ] bi
send: \contentRectForFrameRect:styleMask: ;

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.cmyk kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >cmyka >rgba
[ >rgba-components 4array ] bi@
[ 0.00000001 ~ ] 2all?

View File

@ -4,21 +4,21 @@ USING: help.markup help.syntax strings colors ;
HELP: named-color
{ $values { "name" string } { "color" color } }
{ $description "Outputs a named color from the color database." }
{ $notes "In most cases, " { $link POSTPONE: COLOR: } " should be used instead." }
{ $notes "In most cases, " { $link postpone: \color: } " should be used instead." }
{ $errors "Throws an error if the color is not listed in " { $snippet "rgb.txt" } ", " { $snippet "factor-colors.txt" } " or " { $snippet "solarized-colors.txt" } "." } ;
HELP: named-colors
{ $values { "keys" "a sequence of strings" } }
{ $description "Outputs a sequence of all colors in the " { $snippet "rgb.txt" } " database." } ;
HELP: COLOR:
{ $syntax "COLOR: name" }
HELP: \color:
{ $syntax "color: name" }
{ $description "Parses as a " { $link color } " object with the given name." }
{ $errors "Throws an error if the color is not listed in " { $snippet "rgb.txt" } "." }
{ $examples
{ $code
"USING: colors.constants io.styles ;"
"\"Hello!\" { { foreground COLOR: cyan } } format nl"
"\"Hello!\" { { foreground color: cyan } } format nl"
}
} ;
@ -27,7 +27,7 @@ ARTICLE: "colors.constants" "Standard color database"
{ $subsections
named-color
named-colors
POSTPONE: COLOR:
postpone: \color:
} ;
ABOUT: "colors.constants"

View File

@ -2,4 +2,4 @@
! See http://factorcode.org/license.txt for BSD license.
USING: colors colors.constants tools.test ;
{ t } [ COLOR: light-green rgba? ] unit-test
{ t } [ color: light-green rgba? ] unit-test

View File

@ -1,7 +1,7 @@
! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel assocs math math.parser memoize io.encodings.utf8
io.files lexer parser colors sequences splitting ascii ;
USING: ascii assocs colors io.encodings.utf8 io.files kernel
lexer math math.parser sequences splitting ;
IN: colors.constants
<PRIVATE
@ -9,7 +9,7 @@ IN: colors.constants
: parse-color ( line -- name color )
first4
[ [ string>number 255 /f ] tri@ 1.0 <rgba> ] dip
[ blank? ] trim-head H{ { CHAR: \s CHAR: - } } substitute swap ;
[ blank? ] trim-head H{ { char: \s char: - } } substitute swap ;
: parse-colors ( lines -- assoc )
[ "!" head? ] reject
@ -31,4 +31,4 @@ ERROR: no-such-color name ;
: named-color ( name -- color )
dup colors at [ ] [ no-such-color ] ?if ;
SYNTAX: COLOR: scan-token named-color suffix! ;
SYNTAX: \color: scan-token named-color suffix! ;

View File

@ -7,21 +7,19 @@ IN: colors.hex
HELP: hex>rgba
{ $values { "hex" string } { "rgba" color } }
{ $description "Converts a hexadecimal string value into a " { $link color } "." }
;
{ $description "Converts a hexadecimal string value into a " { $link color } "." } ;
HELP: rgba>hex
{ $values { "rgba" color } { "hex" string } }
{ $description "Converts a " { $link color } " into a hexadecimal string value." }
;
{ $description "Converts a " { $link color } " into a hexadecimal string value." } ;
HELP: HEXCOLOR:
{ $syntax "HEXCOLOR: value" }
HELP: \hexcolor:
{ $syntax "hexcolor: value" }
{ $description "Parses as a " { $link color } " object with the given hexadecimal value." }
{ $examples
{ $code
"USING: colors.hex io.styles ;"
"\"Hello!\" { { foreground HEXCOLOR: 336699 } } format nl"
"\"Hello!\" { { foreground hexcolor: 336699 } } format nl"
}
} ;
@ -31,7 +29,7 @@ ARTICLE: "colors.hex" "HEX colors"
{ $subsections
hex>rgba
rgba>hex
POSTPONE: HEXCOLOR:
postpone: \hexcolor:
}
{ $see-also "colors" } ;

View File

@ -2,18 +2,18 @@
! See http://factorcode.org/license.txt for BSD license
USING: colors colors.hex tools.test ;
{ HEXCOLOR: 000000 } [ 0.0 0.0 0.0 1.0 <rgba> ] unit-test
{ HEXCOLOR: FFFFFF } [ 1.0 1.0 1.0 1.0 <rgba> ] unit-test
{ HEXCOLOR: abcdef } [ "abcdef" hex>rgba ] unit-test
{ HEXCOLOR: abcdef } [ "ABCDEF" hex>rgba ] unit-test
{ "ABCDEF" } [ HEXCOLOR: abcdef rgba>hex ] unit-test
{ hexcolor: 000000 } [ 0.0 0.0 0.0 1.0 <rgba> ] unit-test
{ hexcolor: FFFFFF } [ 1.0 1.0 1.0 1.0 <rgba> ] unit-test
{ hexcolor: abcdef } [ "abcdef" hex>rgba ] unit-test
{ hexcolor: abcdef } [ "ABCDEF" hex>rgba ] unit-test
{ "ABCDEF" } [ hexcolor: abcdef rgba>hex ] unit-test
{ HEXCOLOR: 00000000 } [ 0.0 0.0 0.0 0.0 <rgba> ] unit-test
{ HEXCOLOR: FF000000 } [ 1.0 0.0 0.0 0.0 <rgba> ] unit-test
{ HEXCOLOR: FFFF0000 } [ 1.0 1.0 0.0 0.0 <rgba> ] unit-test
{ HEXCOLOR: FFFFFF00 } [ 1.0 1.0 1.0 0.0 <rgba> ] unit-test
{ HEXCOLOR: FFFFFFFF } [ 1.0 1.0 1.0 1.0 <rgba> ] unit-test
{ hexcolor: 00000000 } [ 0.0 0.0 0.0 0.0 <rgba> ] unit-test
{ hexcolor: FF000000 } [ 1.0 0.0 0.0 0.0 <rgba> ] unit-test
{ hexcolor: FFFF0000 } [ 1.0 1.0 0.0 0.0 <rgba> ] unit-test
{ hexcolor: FFFFFF00 } [ 1.0 1.0 1.0 0.0 <rgba> ] unit-test
{ hexcolor: FFFFFFFF } [ 1.0 1.0 1.0 1.0 <rgba> ] unit-test
{ HEXCOLOR: cafebabe } [ "cafebabe" hex>rgba ] unit-test
{ HEXCOLOR: 112233 } [ "123" hex>rgba ] unit-test
{ HEXCOLOR: 11223344 } [ "1234" hex>rgba ] unit-test
{ hexcolor: cafebabe } [ "cafebabe" hex>rgba ] unit-test
{ hexcolor: 112233 } [ "123" hex>rgba ] unit-test
{ hexcolor: 11223344 } [ "1234" hex>rgba ] unit-test

View File

@ -18,4 +18,4 @@ IN: colors.hex
[ red>> ] [ green>> ] [ blue>> ] tri
[ 255 * >integer ] tri@ "%02X%02X%02X" sprintf ;
SYNTAX: HEXCOLOR: scan-token hex>rgba suffix! ;
SYNTAX: \hexcolor: scan-token hex>rgba suffix! ;

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.hsl kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >hsla >rgba
[ >rgba-components 4array ] bi@
[ 0.00000001 ~ ] 2all?

View File

@ -31,7 +31,7 @@ PRIVATE>
M: hsla >rgba
{
[ hue>> ] [ saturation>> ] [ lightness>> ] [ alpha>> ]
} cleave [| h s l |
} cleave |[ h s l |
s zero? [
l l l
] [
@ -50,7 +50,7 @@ M: object >hsla >rgba >hsla ;
M: hsla >hsla ; inline
M: rgba >hsla
>rgba-components [| r g b |
>rgba-components |[ r g b |
r g b min min :> min-c
r g b max max :> max-c
min-c max-c + 2 / :> l

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.lab kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >laba >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?

View File

@ -14,7 +14,7 @@ M: laba >rgba >xyza >rgba ;
M: laba >xyza
[
[let
let[
[ l>> ] [ a>> ] [ b>> ] tri :> ( l a b )
l 16 + 116 / :> fy
a 500 / fy + :> fx
@ -53,7 +53,7 @@ M: rgba >laba >xyza >laba ;
M: xyza >laba
[
[let
let[
[ x>> wp_x / ] [ y>> wp_y / ] [ z>> wp_z / ] tri
[
dup xyz_epsilon >

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.lch kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >LCHuv >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?
@ -17,9 +17,9 @@ math.ranges sequences tools.test ;
] unit-test
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >LCHab >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?

View File

@ -16,7 +16,7 @@ M: LCHuv >xyza >luva >xyza ;
M: LCHuv >luva
[
[let
let[
[ l>> ] [ c>> ] [ h>> ] tri :> ( l c h )
h deg>rad :> hr
@ -34,7 +34,7 @@ M: LCHuv >LCHuv ; inline
M: luva >LCHuv
[
[let
let[
[ l>> ] [ u>> ] [ v>> ] tri :> ( l u v )
v u fatan2 rad>deg
[ dup 360 > ] [ 360 - ] while
@ -54,7 +54,7 @@ M: LCHab >rgba >laba >rgba ;
M: LCHab >laba
[
[let
let[
[ l>> ] [ c>> ] [ h>> ] tri :> ( l c h )
h deg>rad :> hr
@ -72,7 +72,7 @@ M: LCHab >LCHab ; inline
M: laba >LCHab
[
[let
let[
[ l>> ] [ a>> ] [ b>> ] tri :> ( l a b )
b a fatan2 rad>deg
[ dup 360 > ] [ 360 - ] while

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.luv kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >luva >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?

View File

@ -23,7 +23,7 @@ M: luva >rgba >xyza >rgba ;
M: luva >xyza
[
[let
let[
wp_x wp_y wp_z xyz-to-uv :> ( u_wp v_wp )
[ l>> ] [ u>> ] [ v>> ] tri :> ( l u v )
@ -52,7 +52,7 @@ M: luva >luva ; inline
M: xyza >luva
[
[let
let[
wp_x wp_y wp_z xyz-to-uv :> ( u_wp v_wp )
[ x>> ] [ y>> ] [ z>> ] tri :> ( x_ y_ z_ )
x_ y_ z_ xyz-to-uv :> ( u_ v_ )

View File

@ -1,13 +1,13 @@
USING: colors.constants colors.mix kernel tools.test ;
{ COLOR: blue } [ COLOR: blue COLOR: red 0.0 linear-gradient ] unit-test
{ COLOR: red } [ COLOR: blue COLOR: red 1.0 linear-gradient ] unit-test
{ color: blue } [ color: blue color: red 0.0 linear-gradient ] unit-test
{ color: red } [ color: blue color: red 1.0 linear-gradient ] unit-test
{ COLOR: blue } [ { COLOR: blue COLOR: red COLOR: green } 0.0 sample-linear-gradient ] unit-test
{ COLOR: red } [ { COLOR: blue COLOR: red COLOR: green } 0.5 sample-linear-gradient ] unit-test
{ COLOR: green } [ { COLOR: blue COLOR: red COLOR: green } 1.0 sample-linear-gradient ] unit-test
{ color: blue } [ { color: blue color: red color: green } 0.0 sample-linear-gradient ] unit-test
{ color: red } [ { color: blue color: red color: green } 0.5 sample-linear-gradient ] unit-test
{ color: green } [ { color: blue color: red color: green } 1.0 sample-linear-gradient ] unit-test
{ t } [
{ COLOR: blue COLOR: red } 0.5 sample-linear-gradient
COLOR: blue COLOR: red 0.5 linear-gradient =
{ color: blue color: red } 0.5 sample-linear-gradient
color: blue color: red 0.5 linear-gradient =
] unit-test

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.ryb kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >ryba >rgba
[ >rgba-components 4array ] bi@
[ 0.00000001 ~ ] 2all?

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.xyy kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >xyYa >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?

View File

@ -14,7 +14,7 @@ M: xyYa >rgba
M: xyYa >xyza
[
[let
let[
[ x>> ] [ y>> ] [ Y>> ] tri :> ( x y Y )
x y / Y *
Y
@ -30,7 +30,7 @@ M: xyYa >xyYa ; inline
M: xyza >xyYa
[
[let
let[
[ x>> ] [ y>> ] [ z>> ] tri :> ( x y z )
x y z + +
[ x swap / ]

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.xyz kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >xyza >rgba
[ >rgba-components 4array ] bi@
[ 0.00001 ~ ] 2all?

View File

@ -26,7 +26,7 @@ PRIVATE>
M: xyza >rgba
[
[let
let[
[ x>> ] [ y>> ] [ z>> ] tri :> ( x y z )
x 3.2404542 * y -1.5371385 * z -0.4985314 * + +
x -0.9692660 * y 1.8760108 * z 0.0415560 * + +
@ -50,7 +50,7 @@ PRIVATE>
M: rgba >xyza
[
[let
let[
[ red>> ] [ green>> ] [ blue>> ] tri
[ invert-rgb-compand ] tri@ :> ( r g b )
r 0.4124564 * g 0.3575761 * b 0.1804375 * + +

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.yiq kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >yiqa >rgba
[ >rgba-components 4array ] bi@
[ 0.00000001 ~ ] 2all?

View File

@ -5,9 +5,9 @@ USING: arrays colors colors.yuv kernel locals math.functions
math.ranges sequences tools.test ;
{ t } [
0.0 1.0 0.1 <range> [| r |
0.0 1.0 0.1 <range> [| g |
0.0 1.0 0.1 <range> [| b |
0.0 1.0 0.1 <range> |[ r |
0.0 1.0 0.1 <range> |[ g |
0.0 1.0 0.1 <range> |[ b |
r g b 1.0 <rgba> dup >yuva >rgba
[ >rgba-components 4array ] bi@
[ 0.00000001 ~ ] 2all?

View File

@ -26,7 +26,7 @@ PRIVATE>
M: yuva >rgba
{ [ y>> ] [ u>> ] [ v>> ] [ alpha>> ] } cleave
[| y u v |
|[ y u v |
y 1 Wr - Vmax / v * +
y

View File

@ -3,7 +3,7 @@ IN: compiler.cfg.alias-analysis
HELP: useless-compare?
{ $values
{ "insn" "a " { $link ##compare } " instruction" }
{ "insn" "a " { $link compare## } " instruction" }
{ "?" boolean }
}
{ $description "Checks if the comparison instruction is required." } ;

View File

@ -12,168 +12,168 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant load elimination
{
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ copy## f 2 1 any-rep }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
! Store-load forwarding
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ copy## f 2 1 any-rep }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
! Dead store elimination
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 1 0 1 0 }
T{ set-slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##set-slot-imm f 3 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ set-slot-imm## f 3 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##set-slot-imm f 3 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ set-slot-imm## f 1 0 1 0 }
T{ set-slot-imm## f 2 0 1 0 }
T{ set-slot-imm## f 3 0 1 0 }
} test-alias-analysis
] unit-test
! Redundant store elimination
{
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ set-slot-imm## f 1 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ copy## f 2 1 any-rep }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##copy f 2 1 any-rep }
T{ ##set-slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ copy## f 2 1 any-rep }
T{ set-slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
! Not a redundant load
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 0 1 1 0 }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ slot-imm## f 1 0 1 0 }
T{ set-slot-imm## f 0 1 1 0 }
T{ slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##set-slot-imm f 0 1 1 0 }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ slot-imm## f 1 0 1 0 }
T{ set-slot-imm## f 0 1 1 0 }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
! Not a redundant store
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 3 1 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ set-slot-imm## f 2 1 1 0 }
T{ slot-imm## f 4 0 1 0 }
T{ set-slot-imm## f 3 1 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 3 1 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ set-slot-imm## f 2 1 1 0 }
T{ slot-imm## f 4 0 1 0 }
T{ set-slot-imm## f 3 1 1 0 }
} test-alias-analysis
] unit-test
! There's a redundant load, but not a redundant store
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##slot f 5 0 3 0 0 }
T{ ##set-slot-imm f 3 0 1 0 }
T{ ##copy f 6 3 any-rep }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ slot-imm## f 4 0 1 0 }
T{ set-slot-imm## f 2 0 1 0 }
T{ slot## f 5 0 3 0 0 }
T{ set-slot-imm## f 3 0 1 0 }
T{ copy## f 6 3 any-rep }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##slot-imm f 4 0 1 0 }
T{ ##set-slot-imm f 2 0 1 0 }
T{ ##slot f 5 0 3 0 0 }
T{ ##set-slot-imm f 3 0 1 0 }
T{ ##slot-imm f 6 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ slot-imm## f 4 0 1 0 }
T{ set-slot-imm## f 2 0 1 0 }
T{ slot## f 5 0 3 0 0 }
T{ set-slot-imm## f 3 0 1 0 }
T{ slot-imm## f 6 0 1 0 }
} test-alias-analysis
] unit-test
@ -182,45 +182,45 @@ IN: compiler.cfg.alias-analysis.tests
! Redundant load elimination
{
V{
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 3 4 1 0 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##copy f 5 3 any-rep }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ set-slot-imm## f 3 4 1 0 }
T{ set-slot-imm## f 2 1 1 0 }
T{ copy## f 5 3 any-rep }
}
} [
V{
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 3 4 1 0 }
T{ ##set-slot-imm f 2 1 1 0 }
T{ ##slot-imm f 5 4 1 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ set-slot-imm## f 3 4 1 0 }
T{ set-slot-imm## f 2 1 1 0 }
T{ slot-imm## f 5 4 1 0 }
} test-alias-analysis
] unit-test
! Redundant store elimination
{
V{
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##slot-imm f 5 1 1 0 }
T{ ##set-slot-imm f 3 4 1 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ slot-imm## f 5 1 1 0 }
T{ set-slot-imm## f 3 4 1 0 }
}
} [
V{
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 1 4 1 0 }
T{ ##slot-imm f 5 1 1 0 }
T{ ##set-slot-imm f 3 4 1 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ set-slot-imm## f 1 4 1 0 }
T{ slot-imm## f 5 1 1 0 }
T{ set-slot-imm## f 3 4 1 0 }
} test-alias-analysis
] unit-test
@ -228,63 +228,63 @@ IN: compiler.cfg.alias-analysis.tests
! can now alias the new ac
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 0 4 1 0 }
T{ ##set-slot-imm f 4 2 1 0 }
T{ ##slot-imm f 5 3 1 0 }
T{ ##set-slot-imm f 1 5 1 0 }
T{ ##slot-imm f 6 4 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ set-slot-imm## f 0 4 1 0 }
T{ set-slot-imm## f 4 2 1 0 }
T{ slot-imm## f 5 3 1 0 }
T{ set-slot-imm## f 1 5 1 0 }
T{ slot-imm## f 6 4 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##peek f 3 D: 3 }
T{ ##allot f 4 16 array }
T{ ##set-slot-imm f 0 4 1 0 }
T{ ##set-slot-imm f 4 2 1 0 }
T{ ##slot-imm f 5 3 1 0 }
T{ ##set-slot-imm f 1 5 1 0 }
T{ ##slot-imm f 6 4 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ peek## f 3 d: 3 }
T{ allot## f 4 16 array }
T{ set-slot-imm## f 0 4 1 0 }
T{ set-slot-imm## f 4 2 1 0 }
T{ slot-imm## f 5 3 1 0 }
T{ set-slot-imm## f 1 5 1 0 }
T{ slot-imm## f 6 4 1 0 }
} test-alias-analysis
] unit-test
! Compares between objects which cannot alias are eliminated
{
V{
T{ ##peek f 0 D: 0 }
T{ ##allot f 1 16 array }
T{ ##load-reference f 2 f }
T{ peek## f 0 d: 0 }
T{ allot## f 1 16 array }
T{ load-reference## f 2 f }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##allot f 1 16 array }
T{ ##compare f 2 0 1 cc= }
T{ peek## f 0 d: 0 }
T{ allot## f 1 16 array }
T{ compare## f 2 0 1 cc= }
} test-alias-analysis
] unit-test
! Make sure that input to ##box-displaced-alien becomes heap-ac
! Make sure that input to box-displaced-alien## becomes heap-ac
{
V{
T{ ##allot f 1 16 byte-array }
T{ ##load-reference f 2 10 }
T{ ##box-displaced-alien f 3 2 1 4 byte-array }
T{ ##slot-imm f 5 3 1 $[ alien type-number ] }
T{ ##compare f 6 5 1 cc= }
T{ allot## f 1 16 byte-array }
T{ load-reference## f 2 10 }
T{ box-displaced-alien## f 3 2 1 4 byte-array }
T{ slot-imm## f 5 3 1 $[ alien type-number ] }
T{ compare## f 6 5 1 cc= }
}
} [
V{
T{ ##allot f 1 16 byte-array }
T{ ##load-reference f 2 10 }
T{ ##box-displaced-alien f 3 2 1 4 byte-array }
T{ ##slot-imm f 5 3 1 $[ alien type-number ] }
T{ ##compare f 6 5 1 cc= }
T{ allot## f 1 16 byte-array }
T{ load-reference## f 2 10 }
T{ box-displaced-alien## f 3 2 1 4 byte-array }
T{ slot-imm## f 5 3 1 $[ alien type-number ] }
T{ compare## f 6 5 1 cc= }
} test-alias-analysis
] unit-test
@ -292,71 +292,71 @@ IN: compiler.cfg.alias-analysis.tests
! instructions which can call back into Factor code
{
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ peek## f 0 d: 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 1 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 1 0 1 0 }
}
} [
V{
T{ ##peek f 0 D: 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 1 0 1 0 }
T{ peek## f 0 d: 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 1 0 1 0 }
} test-alias-analysis
] unit-test
@ -364,70 +364,70 @@ IN: compiler.cfg.alias-analysis.tests
! instruction
{
V{
T{ ##allot f 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##copy f 2 1 any-rep }
T{ allot## f 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ copy## f 2 1 any-rep }
}
} [
V{
T{ ##allot f 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##allot f 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##copy f 2 1 any-rep }
T{ allot## f 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ copy## f 2 1 any-rep }
}
} [
V{
T{ ##allot f 0 }
T{ ##peek f 1 D: 1 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ peek## f 1 d: 1 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##allot f 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##allot f 0 }
T{ ##peek f 1 D: 1 }
T{ ##peek f 2 D: 2 }
T{ ##set-slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ peek## f 1 d: 1 }
T{ peek## f 2 d: 2 }
T{ set-slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test
{
V{
T{ ##allot f 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ allot## f 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
}
} [
V{
T{ ##allot f 0 }
T{ ##slot-imm f 1 0 1 0 }
T{ ##alien-invoke f { } { } { } { } 0 0 "free" }
T{ ##set-slot-imm f 1 0 1 0 }
T{ allot## f 0 }
T{ slot-imm## f 1 0 1 0 }
T{ alien-invoke## f { } { } { } { } 0 0 "free" }
T{ set-slot-imm## f 1 0 1 0 }
} test-alias-analysis
] unit-test
@ -435,14 +435,14 @@ IN: compiler.cfg.alias-analysis.tests
! handled properly
{
V{
T{ ##allot f 0 }
T{ ##alien-indirect f f { } { } { { 2 double-rep 0 } } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ alien-indirect## f f { } { } { { 2 double-rep 0 } } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
}
} [
V{
T{ ##allot f 0 }
T{ ##alien-indirect f f { } { } { { 2 double-rep 0 } } { } 0 0 "free" }
T{ ##set-slot-imm f 2 0 1 0 }
T{ allot## f 0 }
T{ alien-indirect## f f { } { } { { 2 double-rep 0 } } { } 0 0 "free" }
T{ set-slot-imm## f 2 0 1 0 }
} test-alias-analysis
] unit-test

View File

@ -12,7 +12,7 @@ SYMBOL: copies
: resolve ( vreg -- vreg ) copies get ?at drop ;
: record-copy ( ##copy -- )
: record-copy ( copy## -- )
[ src>> resolve ] [ dst>> ] bi copies get set-at ; inline
! Map vregs -> alias classes
@ -30,8 +30,8 @@ SYMBOL: heap-ac
acs>vregs get [ drop V{ } clone ] cache ;
: vreg>ac ( vreg -- ac )
! Only vregs produced by ##allot, ##peek and ##slot can
! ever be used as valid inputs to ##slot and ##set-slot,
! Only vregs produced by allot##, peek## and slot## can
! ever be used as valid inputs to slot## and set-slot##,
! so we assert this fact by not giving alias classes to
! other vregs.
vregs>acs get [ heap-ac get [ ac>vregs push ] keep ] cache ;
@ -58,7 +58,7 @@ SYMBOL: live-slots
! Maps vreg -> slot# -> insn# of last store or f
SYMBOL: recent-stores
! A set of insn#s of dead stores
! A set of insns# of dead stores
SYMBOL: dead-stores
: dead-store ( insn# -- ) dead-stores get adjoin ;
@ -136,21 +136,21 @@ SYMBOL: ac-counter
GENERIC: insn-slot# ( insn -- slot#/f )
GENERIC: insn-object ( insn -- vreg )
M: ##slot insn-slot# drop f ;
M: ##slot-imm insn-slot# slot>> ;
M: ##set-slot insn-slot# drop f ;
M: ##set-slot-imm insn-slot# slot>> ;
M: ##alien-global insn-slot# [ library>> ] [ symbol>> ] bi 2array ;
M: ##vm-field insn-slot# offset>> ;
M: ##set-vm-field insn-slot# offset>> ;
M: slot## insn-slot# drop f ;
M: slot-imm## insn-slot# slot>> ;
M: set-slot## insn-slot# drop f ;
M: set-slot-imm## insn-slot# slot>> ;
M: alien-global## insn-slot# [ library>> ] [ symbol>> ] bi 2array ;
M: vm-field## insn-slot# offset>> ;
M: set-vm-field## insn-slot# offset>> ;
M: ##slot insn-object obj>> resolve ;
M: ##slot-imm insn-object obj>> resolve ;
M: ##set-slot insn-object obj>> resolve ;
M: ##set-slot-imm insn-object obj>> resolve ;
M: ##alien-global insn-object drop ##alien-global ;
M: ##vm-field insn-object drop ##vm-field ;
M: ##set-vm-field insn-object drop ##vm-field ;
M: slot## insn-object obj>> resolve ;
M: slot-imm## insn-object obj>> resolve ;
M: set-slot## insn-object obj>> resolve ;
M: set-slot-imm## insn-object obj>> resolve ;
M: alien-global## insn-object drop alien-global## ;
M: vm-field## insn-object drop vm-field## ;
M: set-vm-field## insn-object drop vm-field## ;
GENERIC: analyze-aliases ( insn -- insn' )
@ -175,7 +175,7 @@ M: allocation-insn analyze-aliases
! object.
dup dst>> set-new-ac ;
M: ##box-displaced-alien analyze-aliases
M: box-displaced-alien## analyze-aliases
[ call-next-method ]
[ base>> heap-ac get merge-acs ] bi ;
@ -206,7 +206,7 @@ M:: write-insn analyze-aliases ( insn -- insn )
insn ;
M: ##copy analyze-aliases
M: copy## analyze-aliases
! The output vreg gets the same alias class as the input
! vreg, since they both contain the same value.
dup record-copy ;
@ -217,10 +217,10 @@ M: ##copy analyze-aliases
[ [ src1>> ] [ src2>> ] bi [ resolve vreg>ac ] same? not ]
} 1&& ; inline
M: ##compare analyze-aliases
M: compare## analyze-aliases
call-next-method
dup useless-compare? [
dst>> f ##load-reference new-insn
dst>> f load-reference## new-insn
analyze-aliases
] when ;
@ -242,7 +242,7 @@ M: alien-call-insn analyze-aliases
GENERIC: eliminate-dead-stores ( insn -- ? )
M: ##set-slot-imm eliminate-dead-stores
M: set-slot-imm## eliminate-dead-stores
insn#>> dead-stores get in? not ;
M: insn eliminate-dead-stores drop t ;
@ -256,8 +256,8 @@ M: insn eliminate-dead-stores drop t ;
dead-stores get clear-set
next-ac heap-ac namespaces:set
##vm-field set-new-ac
##alien-global set-new-ac ;
vm-field## set-new-ac
alien-global## set-new-ac ;
: alias-analysis-step ( insns -- insns' )
reset-alias-analysis

View File

@ -16,6 +16,6 @@ HELP: join-blocks
{ $description "A compiler pass when optimizing the cfg." } ;
ARTICLE: "compiler.cfg.block-joining" "Block Joining"
"Joining blocks that are not calls and are connected by a single CFG edge. This pass does not update " { $link ##phi } " nodes and should therefore only run before stack analysis or after ##phi node elimination." ;
"Joining blocks that are not calls and are connected by a single CFG edge. This pass does not update " { $link phi## } " nodes and should therefore only run before stack analysis or after phi## node elimination." ;
ABOUT: "compiler.cfg.block-joining"

View File

@ -17,31 +17,31 @@ IN: compiler.cfg.branch-splitting.tests
: test-branch-splitting ( -- )
0 get block>cfg check-branch-splitting ;
V{ T{ ##branch } } 0 test-bb
V{ T{ branch## } } 0 test-bb
V{ T{ ##branch } } 1 test-bb
V{ T{ branch## } } 1 test-bb
V{ T{ ##branch } } 2 test-bb
V{ T{ branch## } } 2 test-bb
V{ T{ ##branch } } 3 test-bb
V{ T{ branch## } } 3 test-bb
V{ T{ ##branch } } 4 test-bb
V{ T{ branch## } } 4 test-bb
test-diamond
{ } [ test-branch-splitting ] unit-test
V{ T{ ##branch } } 0 test-bb
V{ T{ branch## } } 0 test-bb
V{ T{ ##branch } } 1 test-bb
V{ T{ branch## } } 1 test-bb
V{ T{ ##branch } } 2 test-bb
V{ T{ branch## } } 2 test-bb
V{ T{ ##branch } } 3 test-bb
V{ T{ branch## } } 3 test-bb
V{ T{ ##branch } } 4 test-bb
V{ T{ branch## } } 4 test-bb
V{ T{ ##branch } } 5 test-bb
V{ T{ branch## } } 5 test-bb
0 { 1 2 } edges
@ -51,15 +51,15 @@ V{ T{ ##branch } } 5 test-bb
{ } [ test-branch-splitting ] unit-test
V{ T{ ##branch } } 0 test-bb
V{ T{ branch## } } 0 test-bb
V{ T{ ##branch } } 1 test-bb
V{ T{ branch## } } 1 test-bb
V{ T{ ##branch } } 2 test-bb
V{ T{ branch## } } 2 test-bb
V{ T{ ##branch } } 3 test-bb
V{ T{ branch## } } 3 test-bb
V{ T{ ##branch } } 4 test-bb
V{ T{ branch## } } 4 test-bb
0 { 1 2 } edges
@ -69,11 +69,11 @@ V{ T{ ##branch } } 4 test-bb
{ } [ test-branch-splitting ] unit-test
V{ T{ ##branch } } 0 test-bb
V{ T{ branch## } } 0 test-bb
V{ T{ ##branch } } 1 test-bb
V{ T{ branch## } } 1 test-bb
V{ T{ ##branch } } 2 test-bb
V{ T{ branch## } } 2 test-bb
0 { 1 2 } edges

Some files were not shown because too many files have changed in this diff Show More