Skip to content

Instantly share code, notes, and snippets.

@jrslepak
Created February 28, 2013 04:22
Show Gist options
  • Save jrslepak/5054161 to your computer and use it in GitHub Desktop.
Save jrslepak/5054161 to your computer and use it in GitHub Desktop.
Unexpected behavior from define-union-language -- the "two sublanguages" named in the error message are the same language
#lang racket
(require redex)
(define-language LBase
(e (+ e e)
number))
(define-extended-language L1 LBase
(e ....
(- e e)))
(define-extended-language L2 LBase
(e ....
(* e e)))
(define-union-language LMerge (one. L1) (two. L2))
#|
define-union-language: two sublanguages both contribute the non-terminal: one.e in:
(one. L1)
(one. L1)
|#
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment