Skip to content

Test generic list equality #33

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

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Test generic list equality #33

Show file tree
Hide file tree
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
29 changes: 29 additions & 0 deletions .vscode/launch.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"name": "Debug Lua Interpreter",
"type": "lua-local",
"request": "launch",
"scriptRoots": [
"${workspaceFolder}/purescript-lua/test/ps/output/"
],
"program": {
"lua": "lua",
"file": "${file}"
}
},
{
"name": "Debug Custom Lua Environment",
"type": "lua-local",
"request": "launch",
"program": {
"command": "command"
},
"args": []
}
]
}
15 changes: 15 additions & 0 deletions test/ps/golden/Golden/BugListGenericEq/Test.purs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
module Golden.BugListGenericEq.Test where

import Prelude
import Data.Generic.Rep as G
import Data.Eq.Generic as GEq

data List a = Nil | Cons { head :: a, tail :: List a }

cons :: forall a. a -> List a -> List a
cons head tail = Cons { head, tail }

derive instance genericList :: G.Generic (List a) _

instance eqList :: Eq a => Eq (List a) where
eq x y = GEq.genericEq x y
1 change: 1 addition & 0 deletions test/ps/output/Golden.BugListGenericEq.Test/corefn.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"builtWith":"0.15.15","comments":[],"decls":[{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"bindType":"NonRec","expression":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqSum","moduleName":["Data","Eq","Generic"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqConstructor","moduleName":["Data","Eq","Generic"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqNoArguments","moduleName":["Data","Eq","Generic"]}},"type":"App"},"type":"App"},"identifier":"genericEqSum"},{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"bindType":"NonRec","expression":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRec","moduleName":["Data","Eq"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,27],"start":[15,12]}},"type":"Var","value":{"identifier":"undefined","moduleName":["Prim"]}},"type":"App"},"identifier":"eqRec"},{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"bindType":"NonRec","expression":{"abstraction":{"abstraction":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRowCons","moduleName":["Data","Eq"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRowNil","moduleName":["Data","Eq"]}},"type":"App"},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,27],"start":[15,12]}},"type":"Var","value":{"identifier":"undefined","moduleName":["Prim"]}},"type":"App"},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"IsSymbol$Dict","moduleName":["Data","Symbol"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Literal","value":{"literalType":"ObjectLiteral","value":[["reflectSymbol",{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"argument":"$__unused","body":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Literal","value":{"literalType":"StringLiteral","value":"tail"}},"type":"Abs"}]]}},"type":"App"},"type":"App"},"identifier":"eqRowCons"},{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"bindType":"NonRec","expression":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"IsSymbol$Dict","moduleName":["Data","Symbol"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Literal","value":{"literalType":"ObjectLiteral","value":[["reflectSymbol",{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"argument":"$__unused","body":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Literal","value":{"literalType":"StringLiteral","value":"head"}},"type":"Abs"}]]}},"type":"App"},"identifier":"headIsSymbol"},{"annotation":{"meta":null,"sourceSpan":{"end":[7,55],"start":[7,1]}},"bindType":"NonRec","expression":{"annotation":{"meta":null,"sourceSpan":{"end":[7,55],"start":[7,1]}},"constructorName":"Nil","fieldNames":[],"type":"Constructor","typeName":"List"},"identifier":"Nil"},{"annotation":{"meta":null,"sourceSpan":{"end":[7,55],"start":[7,1]}},"bindType":"NonRec","expression":{"annotation":{"meta":null,"sourceSpan":{"end":[7,55],"start":[7,1]}},"constructorName":"Cons","fieldNames":["value0"],"type":"Constructor","typeName":"List"},"identifier":"Cons"},{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"bindType":"NonRec","expression":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Generic$Dict","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Literal","value":{"literalType":"ObjectLiteral","value":[["to",{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":"x","body":{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"caseAlternatives":[{"binders":[{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"NullBinder"}],"constructorName":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]},"typeName":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]}}],"constructorName":{"identifier":"Inl","moduleName":["Data","Generic","Rep"]},"typeName":{"identifier":"Sum","moduleName":["Data","Generic","Rep"]}}],"expression":{"annotation":{"meta":{"constructorType":"SumType","identifiers":[],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Nil","moduleName":["Golden","BugListGenericEq","Test"]}},"isGuarded":false},{"binders":[{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"VarBinder","identifier":"arg"}],"constructorName":{"identifier":"Argument","moduleName":["Data","Generic","Rep"]},"typeName":{"identifier":"Argument","moduleName":["Data","Generic","Rep"]}}],"constructorName":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]},"typeName":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]}}],"constructorName":{"identifier":"Inr","moduleName":["Data","Generic","Rep"]},"typeName":{"identifier":"Sum","moduleName":["Data","Generic","Rep"]}}],"expression":{"abstraction":{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Cons","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"arg","sourcePos":[12,1]}},"type":"App"},"isGuarded":false}],"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"x","sourcePos":[0,0]}}],"type":"Case"},"type":"Abs"}],["from",{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":"x","body":{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"caseAlternatives":[{"binders":[{"annotation":{"meta":{"constructorType":"SumType","identifiers":[],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[],"constructorName":{"identifier":"Nil","moduleName":["Golden","BugListGenericEq","Test"]},"typeName":{"identifier":"List","moduleName":["Golden","BugListGenericEq","Test"]}}],"expression":{"abstraction":{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Inl","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"annotation":{"meta":{"constructorType":"ProductType","identifiers":[],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"NoArguments","moduleName":["Data","Generic","Rep"]}},"type":"App"},"type":"App"},"isGuarded":false},{"binders":[{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"ConstructorBinder","binders":[{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"binderType":"VarBinder","identifier":"arg"}],"constructorName":{"identifier":"Cons","moduleName":["Golden","BugListGenericEq","Test"]},"typeName":{"identifier":"List","moduleName":["Golden","BugListGenericEq","Test"]}}],"expression":{"abstraction":{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Inr","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Constructor","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"Argument","moduleName":["Data","Generic","Rep"]}},"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[12,52],"start":[12,1]}},"type":"Var","value":{"identifier":"arg","sourcePos":[12,1]}},"type":"App"},"type":"App"},"type":"App"},"isGuarded":false}],"caseExpressions":[{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"x","sourcePos":[0,0]}}],"type":"Case"},"type":"Abs"}]]}},"type":"App"},"identifier":"genericList"},{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"bindType":"NonRec","expression":{"abstraction":{"annotation":{"meta":{"metaType":"IsForeign"},"sourceSpan":{"end":[15,25],"start":[15,12]}},"type":"Var","value":{"identifier":"genericEq","moduleName":["Data","Eq","Generic"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericList","moduleName":["Golden","BugListGenericEq","Test"]}},"type":"App"},"identifier":"genericEq"},{"bindType":"Rec","binds":[{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"expression":{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"argument":"dictEq","body":{"abstraction":{"annotation":{"meta":{"metaType":"IsNewtype"},"sourceSpan":{"end":[15,29],"start":[14,1]}},"type":"Var","value":{"identifier":"Eq$Dict","moduleName":["Data","Eq"]}},"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"type":"Literal","value":{"literalType":"ObjectLiteral","value":[["eq",{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"argument":"x","body":{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[14,1]}},"argument":"y","body":{"abstraction":{"abstraction":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEq","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqSum","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqConstructor","moduleName":["Data","Eq","Generic"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"genericEqArgument","moduleName":["Data","Eq","Generic"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRec","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"abstraction":{"abstraction":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRowCons","moduleName":["Data","Eq"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqRowCons","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"abstraction":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"eqList","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"dictEq","sourcePos":[0,0]}},"type":"App"},"type":"App"},"type":"App"},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,27],"start":[15,12]}},"type":"Var","value":{"identifier":"undefined","moduleName":["Prim"]}},"type":"App"},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"headIsSymbol","moduleName":["Golden","BugListGenericEq","Test"]}},"type":"App"},"annotation":{"meta":{"metaType":"IsSyntheticApp"},"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[0,0],"start":[0,0]}},"type":"Var","value":{"identifier":"dictEq","sourcePos":[0,0]}},"type":"App"},"type":"App"},"type":"App"},"type":"App"},"type":"App"},"type":"App"},"annotation":{"meta":null,"sourceSpan":{"end":[15,27],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,27],"start":[15,26]}},"type":"Var","value":{"identifier":"x","sourcePos":[15,3]}},"type":"App"},"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[15,12]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[15,28]}},"type":"Var","value":{"identifier":"y","sourcePos":[15,3]}},"type":"App"},"type":"Abs"},"type":"Abs"}]]}},"type":"App"},"type":"Abs"},"identifier":"eqList"}]},{"annotation":{"meta":null,"sourceSpan":{"end":[9,40],"start":[9,1]}},"bindType":"NonRec","expression":{"annotation":{"meta":null,"sourceSpan":{"end":[9,40],"start":[9,1]}},"argument":"head","body":{"annotation":{"meta":null,"sourceSpan":{"end":[9,40],"start":[9,1]}},"argument":"tail","body":{"abstraction":{"annotation":{"meta":{"constructorType":"SumType","identifiers":["value0"],"metaType":"IsConstructor"},"sourceSpan":{"end":[10,22],"start":[10,18]}},"type":"Var","value":{"identifier":"Cons","moduleName":["Golden","BugListGenericEq","Test"]}},"annotation":{"meta":null,"sourceSpan":{"end":[10,37],"start":[10,18]}},"argument":{"annotation":{"meta":null,"sourceSpan":{"end":[10,37],"start":[10,23]}},"type":"Literal","value":{"literalType":"ObjectLiteral","value":[["head",{"annotation":{"meta":null,"sourceSpan":{"end":[10,29],"start":[10,25]}},"type":"Var","value":{"identifier":"head","sourcePos":[10,1]}}],["tail",{"annotation":{"meta":null,"sourceSpan":{"end":[10,35],"start":[10,31]}},"type":"Var","value":{"identifier":"tail","sourcePos":[10,1]}}]]}},"type":"App"},"type":"Abs"},"type":"Abs"},"identifier":"cons"}],"exports":["Nil","Cons","cons","genericList","eqList"],"foreign":[],"imports":[{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Data","Eq"]},{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Data","Eq","Generic"]},{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Data","Generic","Rep"]},{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Data","Symbol"]},{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Golden","BugListGenericEq","Test"]},{"annotation":{"meta":null,"sourceSpan":{"end":[3,15],"start":[3,1]}},"moduleName":["Prelude"]},{"annotation":{"meta":null,"sourceSpan":{"end":[15,29],"start":[1,1]}},"moduleName":["Prim"]}],"moduleName":["Golden","BugListGenericEq","Test"],"modulePath":"golden/Golden/BugListGenericEq/Test.purs","reExports":{},"sourceSpan":{"end":[15,29],"start":[1,1]}}
Loading
Loading