diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-12 17:56:53 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-12 17:56:53 -0700 |
| commit | 83ff9df719807e59c961c10ab120467968b18b94 (patch) | |
| tree | edb2b9351ac2fca6185fdc947e3a585fdcbc2dd5 /Jennisys/Resolver.fs | |
| parent | b25957512ac05bbeaece2afcf8b77d07125a9a97 (diff) | |
- still working on infering branching structure
Diffstat (limited to 'Jennisys/Resolver.fs')
| -rw-r--r-- | Jennisys/Resolver.fs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jennisys/Resolver.fs b/Jennisys/Resolver.fs index 59c6904d..fac29fba 100644 --- a/Jennisys/Resolver.fs +++ b/Jennisys/Resolver.fs @@ -70,7 +70,8 @@ let Resolve (env,ctx) cst = let Eval (heap,env,ctx) expr =
let rec __EvalResolver expr =
match expr with
- | IdLiteral(id) when id = "this" -> GetThisLoc env
+ | VarLiteral(id) -> ExprConst(expr)
+ | IdLiteral("this") -> GetThisLoc env
| IdLiteral(id) ->
match TryResolve (env,ctx) (Unresolved(id)) with
| Unresolved(_) -> __EvalResolver (Dot(IdLiteral("this"), id))
|