akkartik
/
mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

137

This commit is contained in:
Kartik K. Agaram 2014-10-12 10:49:08 -07:00
parent aa7de0e8af
commit 244f31f7ee
2 changed files with 40 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mu.arc
View File

@ -398,8 +398,8 @@
(++ caller-arg-idx.context)))
(trace "arg" arg " " idx " " caller-args.context)
(if (len> caller-args.context idx)
(list (m caller-args.context.idx) nil)
(list nil t)))
(list (m caller-args.context.idx) t)
(list nil nil)))
type
(ty (caller-args.context arg.0))
otype

41
mu.arc.t
View File

@ -776,6 +776,20 @@
(prn "F - 'arg' with index can access function call arguments out of order"))
;? (quit)
(reset)
(new-trace "new-fn-arg-status")
(add-fns
'((test1
((4 integer) (5 boolean) <- arg))
(main
(test1 (1 literal))
)))
(run 'main)
;? (prn memory*)
(if (~iso memory* (obj 4 1 5 t))
(prn "F - 'arg' sets a second oarg when arg exists"))
;? (quit)
(reset)
(new-trace "new-fn-arg-missing")
(add-fns
@ -802,8 +816,8 @@
)))
(run 'main)
;? (prn memory*)
(if (~iso memory* (obj 4 1 6 t))
(prn "F - missing 'arg' sets a second oarg when provided"))
(if (~iso memory* (obj 4 1 6 nil))
(prn "F - missing 'arg' wipes second oarg when provided"))
;? (quit)
(reset)
@ -818,10 +832,31 @@
)))
(run 'main)
;? (prn memory*)
(if (~iso memory* (obj 4 1 6 t))
(if (~iso memory* (obj 4 1 6 nil))
(prn "F - missing 'arg' consistently wipes its oarg"))
;? (quit)
(reset)
(new-trace "new-fn-arg-missing-3")
(add-fns
'((test1
; if given two args, adds them; if given one arg, increments
((4 integer) <- arg)
((5 integer) (6 boolean) <- arg)
{ begin
(breakif (6 boolean))
((5 integer) <- copy (1 literal))
}
((7 integer) <- add (4 integer) (5 integer)))
(main
(test1 (34 literal))
)))
(run 'main)
;? (prn memory*)
(if (~iso memory* (obj 4 34 5 1 6 nil 7 35))
(prn "F - function with optional second arg"))
;? (quit)
; how should errors be handled? will be unclear until we support concurrency and routine trees.
(reset)