Skip to content

namachan10777/naml

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

NAML

CircleCI

A OCaml subset.

Compiler path

  • parser
  • alpha conversion
  • type inference
  • monomorphize
  • closure conversion
  • optimization path
  • code generation
  • link

Features

  • poly types and value restriction (not relaxed value restriction)
  • exception
  • monomorphize
  • user defined type
  • code inlining
  • constant value folding
  • direct calling function
  • dead code elimination

Unlicensed

This is free and unencumbered software released into the public domain.

About

A compiler implementation for subset of OCaml.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published