Skip to content
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

Jump to bottom

maint: Compilation of definition by copatterns produces wrong order of record constructor arguments #1632

Closed
andreasabel opened this issue Aug 21, 2015 · 0 comments
Closed

maint: Compilation of definition by copatterns produces wrong order of record constructor arguments #1632

andreasabel opened this issue Aug 21, 2015 · 0 comments
Assignees
@andreasabel
Labels
backend: ghc Haskell code generation backend ("MAlonzo") copatterns Definitions by copattern matching: projections on the LHS maint-2.4

Comments

@andreasabel
Copy link
Member 

{-# OPTIONS --copatterns #-}

open import Common.Prelude
open import Common.MAlonzo using (mainPrint)

record R : Set where
  field
    f1 : Nat
    f2 : String

r : R
R.f1 r = 5
R.f2 r = "yes"

main = mainPrint (R.f2 r)
@andreasabel andreasabel added backend: ghc Haskell code generation backend ("MAlonzo") copatterns Definitions by copattern matching: projections on the LHS labels Aug 21, 2015
@andreasabel andreasabel self-assigned this Oct 28, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
backend: ghc Haskell code generation backend ("MAlonzo") copatterns Definitions by copattern matching: projections on the LHS maint-2.4
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@andreasabel