github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Set the super field.

Browse Source
This commit is contained in:
Rob Rix 2019-07-22 13:32:52 -04:00
parent 37caa4d759
commit 0c80fd246c
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
semantic-core/src/Analysis/Eval.hs
View File

@ -134,10 +134,12 @@ prog6 =
ruby :: File (Term Core User)
ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (binds
bindings
(record (map (\ (v :<- _) -> (v, var v)) bindings))))
( var "Class" ... __semantic_super .= var "Object"
>>> record (map (\ (v :<- _) -> (v, var v)) bindings))))
where bindings =
[ "Class" :<- record
[ ("new", lam "self"
[ (__semantic_super, Core.record [])
, ("new", lam "self"
( "instance" :<- record [ (__semantic_super, var "self") ]
>>>= var "instance" $$$ "initialize"))
]
@ -192,10 +194,13 @@ ruby = fromBody $ annWith callStack (rec (named' __semantic_global) (binds
record bindings = annWith callStack (Core.record bindings)
var x = annWith callStack (pure x)
lam v b = annWith callStack (Core.lam (named' v) b)
a >>> b = annWith callStack (a Core.>>> b)
infixr 1 >>>
v :<- a >>>= b = annWith callStack (named' v :<- a Core.>>>= b)
infixr 1 >>>=
binds bindings body = foldr (>>>=) body bindings
bool b = annWith callStack (Core.bool b)
a .= b = annWith callStack (a Core..= b)
__semantic_global = "__semantic_global"
__semantic_super = "__semantic_super"