Commits

Author Commit Message Labels Comments Date
Brian McKenna
Fix some formatting of Sphinx code blocks
Brian McKenna
Merge pull request #116 from yesodweb/master Document well-typedness of object subtypes, strings and RegExps
Greg Weber
document strings
Greg Weber
add RegExp documentation
Greg Weber
document well-typedness of object subtypes
Brian McKenna
Merge branch 'master', remote-tracking branch 'taku0/fix_deep_matching'
taku0
Add where clause with data definitions
taku0
Merge branch 'fix_deep_matching' into where_syntax
taku0
Add where clause with function definitions
taku0
Fixed type inference of pattern variable
Brian McKenna
Add --stdio flag to use stdin and stdout
Brian McKenna
Fix missing 'break'
Brian McKenna
Remove NativeType checks before unification
Brian McKenna
Merge branch 'coercing_native_to_any' of https://github.com/taku0/roy into taku0-coercing_native_to_any
taku0
Allow Native type coerced to any type.
Brian McKenna
Fix 'return' insertion with monad syntax
Brian McKenna
Add error if not pattern matching on a tag type
Brian McKenna
Don't assign to underscore (_) in patterns
Brian McKenna
Make output more lint friendly
Brian McKenna
Move exporting outside of macro system Needs existing type information to be able to export a module descriptor. Has to run after type checker.
Brian McKenna
Fix module importing
Brian McKenna
Ignore .roym files
Brian McKenna
Document :t command
Brian McKenna
Add '-p' command-line flag to not use prelude
Brian McKenna
Fix option example
Brian McKenna
Fix macro example
Brian McKenna
Fix global assignment and output spaces in function types
Brian McKenna
Output objects as JSON strings in REPL
Brian McKenna
Fix empty lexer error message
tokland
allow type constructors with the same type
  1. Prev
  2. Next