Interesting examples (or towards so)

• PCF syntax

  •   Input: pcf0.gram

  •  Generated output: pcf0.hs

  •  Uses (also generated): Pcf0Lexer.hs

  
  
• PCF syntax with pairs and equality

  •   Input: pcf1.gram

  •  Generated output: pcf1.hs

  •  Uses (also generated): Pcf1Lexer.hs

  
  

• core-ML syntax (PCF + let,letrec)

  •   Input: a.gram

  •  Generated output: a.hs

  •  Uses (also generated): ALexer.hs

  
  
• Same as above but successful parsing prints the number of parsed characters

  •   Input: a1.gram

  •  Generated output: a1.hs

  •  Uses (also generated): A1Lexer.hs