Skip to content

Instantly share code, notes, and snippets.

@schuster

schuster/meta-not-found.rkt

Created March 11, 2016 15:34
Show Gist options
  • Save schuster/f8898adb8788a77973ec to your computer and use it in GitHub Desktop.
Save schuster/f8898adb8788a77973ec to your computer and use it in GitHub Desktop.
Download ZIP
Meta not found example
Raw
meta-not-found.rkt
#lang racket
(require nanopass)
(define-language L
(terminals
(number (n)))
(Exp (e)
n
(+ e e)))
(define-pass P : L (e) -> L ()
(Exp : Exp (e) -> Exp ()
[(+ ,e ,f) (+ ,e ,f)]))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment