Skip to content

Instantly share code, notes, and snippets.



Last active Nov 28, 2017
What would you like to do?
To get info about any function
Red []
info: func ['fn /name /intro /args /refinements /locals /return /spec
/arg-num /arg-names /arg-types /ref-names /ref-types /ref-num /type /arity?
/local intr ars refs locs ret arg ref typ irefs
intr: copy "" ars: make map! copy [] refs: make map! copy [] locs: copy [] ret: copy [] irefs: copy [] typ: ref-arg: ref-arg-type: none
if path? fn [irefs: copy next to-block fn fn: first fn]
if lit-word? fn [fn: to-word fn]
unless find [op! native! function! action!] type?/word get fn [
cause-error 'user 'message ["Only function types accepted!"]
out: make map! copy []
specs: spec-of get fn
parse specs [
opt [set intr string!]
any [set arg [word! | lit-word!] opt [set typ block!] opt string! (put ars arg either typ [typ][[any-type!]])]
any [set ref refinement! [
if (ref <> /local) (put refs to-lit-word ref make map! copy [])
opt string!
any [set ref-arg word! opt [set ref-arg-type block!]
(put refs/(to-word ref) to-lit-word ref-arg either ref-arg-type [ref-arg-type][[any-type!]])
opt string!
| any [set loc word! (append locs loc) opt string!]
opt [set-word! set ret block!]
r-types: copy values-of refs
r-names: copy keys-of refs
out: case [
name [to-word fn]
intro [intr]
args [ars]
arg-num [length? ars]
arg-names [copy keys-of ars]
arg-types [copy values-of ars]
refinements [refs]
ref-names [r-names];[copy keys-of refs]
ref-types [r-types];[copy values-of refs]
ref-num [length? refs]
locals [locs]
return [ret]
spec [specs]
arity? [
arity: length? ars
forall irefs [
arity: arity + length? pick r-types index? find r-names irefs/1
true [
make object! [
name: to-word fn
intro: intr
args: ars
refinements: refs
locals: locs
return: ret
spec: specs
type: type? get fn
arg-num: length? args
arg-names: copy keys-of args
arg-types: copy values-of args
ref-names: copy keys-of refinements
ref-types: copy values-of refinements
ref-num: length? refinements

This comment has been minimized.

Copy link
Owner Author

@toomasv toomasv commented Sep 1, 2017


probe info split
info/arg-num '+  ; `lit-word` with op!-s, otherwise either `word!` or `lit-word!`
info/refinements reverse
fn: info reduce

w: words-of system/words
forall w [if attempt [find [function! action! native! op!] type?/word get w/1] [f: get w/1 i: info f probe reduce [w/1 ":" i/arg-num]]]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment