Skip to content
This repository was archived by the owner on Jul 31, 2018. It is now read-only.
This repository was archived by the owner on Jul 31, 2018. It is now read-only.

Prelude Loader violates 10.1.1 and user-functions may be hoisted above prelude #9

Open
@IgnoredAmbience

Description

@IgnoredAmbience

Concatenation of separate JS programs into one Program means that we do not use the correct strictness for them all if they differ.
We should read each Program in separately.

Additionally, prelude functions, such as those used by conrad for his global object setup may be shadowed by user-code functions that are hoisted above them.

List.concat (List.map (fun f ->

https://es5.github.io/#x10.1.1

Activity

changed the title Prelude Loader violates 10.1.1 Prelude Loader violates 10.1.1 and user-functions may be hoisted above prelude on Mar 10, 2015
IgnoredAmbience

IgnoredAmbience commented on Apr 30, 2015

@IgnoredAmbience
MemberAuthor

I think this is causing the failure of ch10/10.4/10.4.3/10.4.3-1-17gs.js

IgnoredAmbience

IgnoredAmbience commented on Apr 30, 2015

@IgnoredAmbience
MemberAuthor

and tests/test262/ch10/10.4/10.4.3/10.4.3-1-19gs.js

added this to the CAV Paper milestone on May 1, 2015
IgnoredAmbience

IgnoredAmbience commented on May 11, 2015

@IgnoredAmbience
MemberAuthor

Can confirm the commit on this ticket hasn't fixed the listed test cases.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions

    Prelude Loader violates 10.1.1 and user-functions may be hoisted above prelude · Issue #9 · resource-reasoning/jscert_dev