search

google-code-export / omega

Automatically exported from code.google.com/p/omega
Other
2 stars 0 forks source link

allow syntax extension for the *type* constructor #88

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
$ cat ../work/TyConExt.prg

data Pugh :: * ~> * ~> * where
  Bar :: Pugh Int Char
 deriving syntax(p) Pair(Pugh)

Loading it gets:

$ ./omega.exe ../work/TyConExt.prg
...
The name Pugh, in the syntax derivation Pair(Pugh),
is not amongst the declared constructors: Bar.

The name of the constructor should be in scope for extensions.

Original issue reported on code.google.com by ggr...@gmail.com on 26 Jan 2011 at 2:41