labelStream = ["lbl_" +++ toString i\\i<-[1..]]
defaultAddressBook :: Addressbook
-defaultAddressBook = extend "print" (LAB "print")
- $ extend "read" (LAB "read")
- $ extend "isEmpty" (LAB "isEmpty")
- 'Map'.newMap
+defaultAddressBook = extend "1printint" (LAB "1printint")
+ $ extend "1printchar" (LAB "1printchar")
+ $ extend "1readchar" (LAB "1readchar")
+ $ extend "1readint" (LAB "1readint")
+ 'Map'.newMap
gen :: AST -> Either String String
gen (AST fds) = case evalRWST prog () (defaultAddressBook, labelStream) of