sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Futzing with types.

This commit is contained in:
Simon Forman 2018-07-19 15:37:35 -07:00
parent 008b74aef8
commit b89754a30b
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
joy/library.py
View File

@ -1520,13 +1520,19 @@ DefinitionWrapper.add_definitions(definitions, _dictionary)
EXPECTATIONS = dict( EXPECTATIONS = dict(
ifte=(s7, (s6, (s5, s4))),
nullary=(s7, s6), nullary=(s7, s6),
run=(s7, s6),
) )
for name in ''' for name in '''
dinfrirst dinfrirst
nullary nullary
ifte
run
dupdipd codireco
'''.split(): '''.split():
C = _dictionary[name] C = _dictionary[name]
expect = EXPECTATIONS.get(name) expect = EXPECTATIONS.get(name)
@ -1539,10 +1545,10 @@ for name in '''
for name in (''' for name in ('''
of quoted enstacken ? of quoted enstacken ?
unary binary ternary unary binary ternary
sqr codireco unquoted sqr unquoted
'''.split()): '''.split()):
of_ = _dictionary[name] of_ = _dictionary[name]
secs = infer_expression(of_.body) secs = infer_expression(of_.body)
assert len(secs) == 1, repr(secs) assert len(secs) == 1, repr(secs)
@ -1558,13 +1564,8 @@ sqr codireco unquoted
## product == 1 swap [*] step ## product == 1 swap [*] step
## flatten == [] swap [concat] step ## flatten == [] swap [concat] step
## quoted == [unit] dip
## unquoted == [i] dip
## enstacken == stack [clear] dip
## ? == dup truthy
## disenstacken == ? [uncons ?] loop pop ## disenstacken == ? [uncons ?] loop pop
## pam == [i] map ## pam == [i] map
## run == [] swap infra
## size == 0 swap [pop ++] step ## size == 0 swap [pop ++] step
## fork == [i] app2 ## fork == [i] app2
## cleave == fork [popd] dip ## cleave == fork [popd] dip