Skip to content

guards in objectExpr, metho are optional too (WIP) #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
dckc wants to merge 1 commit into
base: master
Choose a base branch
from
Open

guards in objectExpr, metho are optional too (WIP) #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
60 changes: 29 additions & 31 deletions spotter.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -449,37 +449,35 @@ module Compiler = struct
(fun d (v, ps, nps, body) ->
AtomDict.add (v, List.length ps) (ps, nps, body) d)
AtomDict.empty meths in
State.bind asExpr (fun ase ->
State.bind (sequence auditors) (fun auds (* XXX rebind into env *) s ->
( object (self)
(* XXX method dispatch, matcher dispatch *)
method call verb args namedArgs : monte option =
Printf.printf "call: %s/%d" verb (List.length args) ;
match
AtomDict.find_opt (verb, List.length args) methdict
with
| None ->
Printf.printf "no such method" ;
None (* refused. XXX matchers *)
| Some (params, nParams, body) ->
let exit = nullObj (* XXX *) in
(* XXX bind namePatt to self *)
(* XXX duplicate code with listPatt, refactor! *)
let env' =
List.fold_left2
(fun ma p s -> State.and_then ma (p s exit))
(State.return ()) params args in
Printf.printf "executing %s" verb ;
let o, _ = State.and_then env' body s in
Some o

(* XXX miranda methods *)
(* XXX call printOn *)
method stringOf = "<user>"

method unwrap = None
end
, s )))
(* XXX State.bind asExpr (fun ase -> *)
State.bind (sequence auditors) (fun auds (* XXX rebind into env *) s ->
( object (self)
(* XXX method dispatch, matcher dispatch *)
method call verb args namedArgs : monte option =
Printf.printf "call: %s/%d" verb (List.length args) ;
match AtomDict.find_opt (verb, List.length args) methdict with
| None ->
Printf.printf "no such method" ;
None (* refused. XXX matchers *)
| Some (params, nParams, body) ->
let exit = nullObj (* XXX *) in
(* XXX bind namePatt to self *)
(* XXX duplicate code with listPatt, refactor! *)
let env' =
List.fold_left2
(fun ma p s -> State.and_then ma (p s exit))
(State.return ()) params args in
Printf.printf "executing %s" verb ;
let o, _ = State.and_then env' body s in
Some o

(* XXX miranda methods *)
(* XXX call printOn *)
method stringOf = "<user>"

method unwrap = None
end
, s ))

let assignExpr name rhs span =
State.bind rhs (fun rv ->
Expand Down