Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

sbcl Log


Commit Date  
[2b1e77] by Paul Khuong Paul Khuong

Type system: fix array type intersection and unparsing

1. We need to intersect specialised element types, not just re-derive
it from the element type. This only affects intersections between
unspecialised array types and T arrays.

2. Be more careful when unparsing array types: we can intersect array
element types for relatively wide specialised element types. We
must always preserve the specialised element type.

3. Smoke regression tests.# Please enter the commit message for your changes. Lines starting

2014-06-09 02:47:21 Tree
[954ad5] by Paul Khuong Paul Khuong

New function: %upgraded-array-element-type to upgrade ctypes

Much saner than mutating an array ctype to upgrade it, and then
reading the specialised element type.

2014-06-09 02:47:21 Tree
[ff9c43] by Paul Khuong Paul Khuong

typep: arrays test on wild _specialised_ element type

It currently works because unknown element types are disregarded, but
we'll eventually want to have a real type on the element type, and
some set representation for specialised element types.

2014-06-09 02:47:21 Tree
[6a0391] by Paul Khuong Paul Khuong

Type system: contains-unknown-type also walks down negation types

Low occurrence, but negated unknown types can have pretty far-ranging
effects (e.g., `(and vector (not foo)), where 'foo is eventually
'vector).

2014-06-09 02:47:21 Tree
[c177ff] by Stas Boukarev Stas Boukarev

make-genesis-2.sh: read output/build-config.

2014-06-07 22:36:50 Tree
[3e8011] by Stas Boukarev Stas Boukarev

Fix a regression in MAP-INTO.

A change in the %MAP transform also required a change in
BUILD-SEQUENCE-ITERATOR, but it wasn't the only place where it was
used.

Spotted by David O'Toole, tracked down by Bart Botta.

2014-06-07 22:16:45 Tree
[b735a2] by Stas Boukarev Stas Boukarev

Fix immediate encoding in SET-UNWIND-PROTECT on ARM.

Reported by David O'Toole.

2014-06-07 17:21:56 Tree
[a2adbe] by Stas Boukarev Stas Boukarev

Optimize MAP for unknown types.

Pick up some simple types like list and simple-vector without going
through subtypep. Avoid consing sequences together when possible.

2014-06-06 18:20:57 Tree
[021d58] by Stas Boukarev Stas Boukarev

Optimize MAP NIL.

Transform %map nil into %map-for-effect-arity-1 if the type of
sequence is not known. SOME and EVERY are optimized too as a result of
this.

2014-06-06 18:01:09 Tree
[615be9] by Stas Boukarev Stas Boukarev

Optimize PROBE-FILE.

In QUERY-FILE-SYSTEM, avoid formatting an error message if no error is
requested. FORMAT is not expanded during the build, making it even
slower.

2014-06-04 12:28:26 Tree
[d2d74c] by Douglas Katzman Douglas Katzman

Resolve a FIXME. There is no COLD-INIT-INTEGER-READER

Also make it known that {READER-EOF,SIMPLE-READER}-ERROR don't return.

2014-06-03 22:02:01 Tree
[330234] by Douglas Katzman Douglas Katzman

Fix test failure spotted by the ever vigilant Jan Moringen.

2014-06-03 19:13:04 Tree
[dfebad] by Stas Boukarev Stas Boukarev

Fix loop.pure:of-type-character test.

Should read #+sb-unicode, not #-sb-unicode.

Spotted by Jan Moringen.

2014-06-03 12:50:18 Tree
[e83b4f] by Douglas Katzman Douglas Katzman

Rename TOKEN-BUF-INCH-PTR to TOKEN-BUF-CURSOR

2014-06-03 03:29:18 Tree
[b27380] by Douglas Katzman Douglas Katzman

Delete INCH-READ-BUFFER function and macroize some stuff.

2014-06-03 03:15:15 Tree
[138365] by Douglas Katzman Douglas Katzman

Change some more uses of INCH-READ-BUFFER to TOKEN-BUF-GETCHAR.

Also delete READ-UNWIND-READ-BUFFER which seemed to confuse
rewinding with unwinding - I would think that an unwound tape
couldn't be read again but a rewound one could.

2014-06-03 01:42:59 Tree
[415665] by Stas Boukarev Stas Boukarev

LOOP: produce warnings for empty types.

Jan Moringen reported that the test
(typep (loop with a of-type extended-char return a) 'extended-char)
failed on #-sb-unicode.
It returned 0.0 and didn't produce a warning during compilation, since
extended-char is an empty type on #-sb-unicode.
Catch empty types and don't produce default values for them.

2014-06-03 00:36:07 Tree
[e5d8dd] by Douglas Katzman Douglas Katzman

Compute MAKE-INTEGER's magic constants for any n-fixnum-bits.

Also rename token-buf's OUCH-PTR to FILL-PTR.

2014-06-02 22:41:49 Tree
[b6cc67] by Douglas Katzman Douglas Katzman

Use a consistent message string when signaling reader package errors.

Also improve some nondescript variable names, and a stealth bugfix.

2014-06-02 17:16:45 Tree
[52c979] by Stas Boukarev Stas Boukarev

Implement SOFTWARE-VERSION for Android.

Using uname(2) instead of run-program "uname", which is missing.

2014-06-02 13:23:43 Tree
[8fd604] by Douglas Katzman Douglas Katzman

Improve the reader's token buffer mechanism.

- fewer special variables.
Instead of *INCH-PTR* and *OUCH-PTR* there is just *READ-BUFFER*
which is a struct, so among the simplifications, checking whether
a recursive read is in progress is just one BOUNDP call.

- less consing through use of a pool of strings into which to read.

Reading single-floats (on 64-bit) and fixnums should never cons,
aside from making a new buffer one time. Slurping in the contents
of enc-jpn-tbl.lisp is about 10% faster and conses 1/3rd as much.

2014-06-02 06:04:14 Tree
[95dab9] by Stas Boukarev Stas Boukarev

Better undefined-alien-error support on ARM.

Like on x86-64, report the name of the function being missing.
call_into_c always uses R8, so use it to look up the linkage table.

2014-06-01 19:30:09 Tree
[6cba9a] by Stas Boukarev Stas Boukarev

Avoid circularity in ENSURE-DYNAMIC-FOREIGN-SYMBOL-ADDRESS.

Use FIND-FOREIGN-SYMBOL-ADDRESS instead of FOREIGN-SYMBOL-ADDRESS,
which calls ENSURE-DYNAMIC-FOREIGN-SYMBOL-ADDRESS, for finding
"undefined_alien_function", otherwise in case undefined_alien_function
is missing for some reason, this will enter endless recursion.

2014-06-01 19:13:48 Tree
[30d48e] by Stas Boukarev Stas Boukarev

Resolve android C type problems.

Android doesn't use off_t where SBCL expects to find it, declare
things appropriately in struct stat, struct dirent.

2014-06-01 07:10:57 Tree
[e55432] by Stas Boukarev Stas Boukarev

Revert "Implement sb-posix:stat using wrappers."

It doesn't fix all the Android problems, just pushes them away.

2014-06-01 06:25:29 Tree
Older >