1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

Annotate the entire prelude, not just the composition with ann.

This commit is contained in:
Rob Rix 2019-07-22 11:51:06 -04:00
parent 1abddf42b3
commit 9ffd3f87e5
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -132,7 +132,7 @@ prog6 =
]
ruby :: File (Term Core User)
ruby = fromBody . ann . rec (named' __semantic_global) $ Core.record
ruby = fromBody $ ann (rec (named' __semantic_global) (Core.record
[ ("Class", ann (Core.record
[ (__semantic_super, pure __semantic_global ... "Object")
, ("new", lam (named' "self")
@ -184,7 +184,7 @@ ruby = fromBody . ann . rec (named' __semantic_global) $ Core.record
, ("false", pure __semantic_global ... "FalseClass" $$$ "new")
, ("require", lam (named' "path") (Core.load (pure "path")))
]
]))
where self $$$ method = annWith callStack $ named' "_x" :<- self >>>= pure "_x" ... method $$ pure "_x"
record ... field = annWith callStack $ record Core.... field