| 2011-05-24 |
Tom Breton (Tehom) | Added error-provoker argument to destructure_resume
|
commit | commitdiff | tree |
| 2011-05-24 |
Tom Breton (Tehom) | Moved where-typemiss code into destructure, from various...
|
commit | commitdiff | tree |
| 2011-05-24 |
Tom Breton (Tehom) | Initialize extra_result
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | klink_call_cfunc, use variable-sized array
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Unpunt kt_destr_list, it's no longer a vector
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Replaced appropriate kt_vector with punted kt_destr_list
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | New C function typecheck_by_vec
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | DEF_VEC uses VEC_DEF_FROM_ARRAY
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | New macro VEC_DEF_FROM_ARRAY
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Removed unused kt_destr_state
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | New struct kt_destr_list
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Change signature of basvec_set_element
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Bugfix: pass pointer to kt_vector
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Bugfix: Moved WITH_REPORTER
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Renamed basvector functions to name format basvec_*
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | New function basvec_set_element
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | New functions to get basvector elements pure-C-style
|
commit | commitdiff | tree |
| 2011-05-23 |
Tom Breton (Tehom) | Separate the basvector initialization operations
|
commit | commitdiff | tree |
| 2011-05-22 |
Tom Breton (Tehom) | Bugfix: right signature for valcar/valcdr
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Transitional: Removed dynamically setting T_NO_K
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Used any_k in mk_destructurer, mk_typecheck. Also...
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | New C function any_k
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | destructure, set tag right.
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Added test for nested promises
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Bugfix: Removed extra call to kernel_define_tree
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Accepted updated db for tests
|
commit | commitdiff | tree |
| 2011-05-21 |
Tom Breton (Tehom) | Added tests for eval_vau on $lazy
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | kernel_define_tree_aux and eval_vau now handle returns.
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Added tests for define-type destructuring
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | kernel_define_tree now can relaunch
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | kernel_define_tree_aux sets up resume ops, unused.
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | kernel_define_tree_aux, switch on return value
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Added parameter to kernel_define_tree_aux
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Changed kernel_define_tree_aux return type to kt_destr_outcome
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | New C function kernel_define_tree_aux
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Rename destr_must_foce -> destr_must_call_k
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Rearranged code
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Accepted updated test db for listloop tests
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Added tests for lazy listloop
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Finished listloop_resume
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Accepted updated test db for new error messages
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Bugfix: do_destructure, pass nil argument
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Changed format: destructure-resume operands put destructure...
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Preliminary: Changed listloop to allow destructure...
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | destr_result_to_vec now matches signature destructure_to_arr...
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Removed unused arg from destructure_to_array
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Renamed err_val -> resume_data
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Removed obsolete k_resume_to_cfunc
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Transitional: New internal operative k_resume_to_cfunc_new
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Cleaned destructure_to_array's error call
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | destructure_to_array's return type is void
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | destructure_to_array passes address of its own variable.
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Removed code treating now-meaningless return of destructure_...
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | Transitional: Don't really use destructure_to_array...
|
commit | commitdiff | tree |
| 2011-05-20 |
Tom Breton (Tehom) | destructure_to_array longjmps to eval loop if it reschedules
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Adapted tests for partly working unary conversion
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | combiner->trivpred now returns original if it can't...
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Removed obsolete argument to destructure_make_ops
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Enabled new treatment of non-T_NO_K predicates
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Accepted updated test db for type mismatch reports
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | New C function destructure_make_ops_to_bool
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | New internal operative destructure_by_bool
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Changed comments
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Bugfix: Reverse how destr_result_fill_array inserts...
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Reversed sense of schedule_list, renamed schedule_rv_list...
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Rearranged destructure_to_array
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Bugfix: cfunc_resume is an operative.
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Rescheduling action moved into destructure_to_array
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Test db updated for new error messages
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | do_destructure uses error param to mention itself.
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Added param to destructure_to_array, used.
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | destructure_to_array now does the error-raising
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Added parameter to destructure_to_array
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | Added more tests for do-destructure
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | In destructure, before scheduling a check, check that...
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | do_destructure tries to resume; destr_result_to_vec...
|
commit | commitdiff | tree |
| 2011-05-19 |
Tom Breton (Tehom) | destructure_resume use specific error
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Changed comments
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | k_resume_to_cfunc, use destr_result_fill_array. Bugfix...
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | New C functions destr_result_fill_array, destr_result_to_vec
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Updated test db for more precise error messages
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Transitional: Updated test db for out-of-bounds error...
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | do_destructure report more precise errors
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | do_destructure uses destructure_how_many
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Bugfix: destructure_how_many, return the count
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Transitional: Assert that destructure_how_many agrees...
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | New function destructure_how_many
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | New C func is_true. destructure now schedules for...
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | New parameter for destructure_make_ops
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Enabled dormant tests, fixed test logic (#f -> #t)
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Bugfix: Fencepost error in nested destructure
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Transitional: let new T_DESTRUCTURE have the T_NO_K...
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Bugfix: load the right index
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | New macro LISTSTAR4
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Destructure now handles nested promises
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Added more tests of auto promise-forcing
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | destructure_resume now has code to go yet again, untested.
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Rearranged code in destructure_to_array
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Added tests of autoforcing promises
|
commit | commitdiff | tree |
| 2011-05-18 |
Tom Breton (Tehom) | Added T_DESTR_RESULT to assert_T_is_v2 T-types
|
commit | commitdiff | tree |
