mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-12-23 09:19:50 +00:00
19c82473ea
Some checks failed
Rust CI / package (push) Has been cancelled
Rust CI / Check line endings (push) Has been cancelled
Rust CI / Clippy (push) Has been cancelled
Codecov Coverage / coverage (push) Has been cancelled
Rust CI / Build with MSRV (push) Has been cancelled
Rust CI / Check (push) Has been cancelled
Rust CI / Tests (push) Has been cancelled
Rust CI / Rustfmt (push) Has been cancelled
Build and deploy web demo / deploy (push) Has been cancelled
Lint Code Base / Lint Code Base (push) Has been cancelled
Check nix code / Check nix code (push) Has been cancelled
* Add Char, String, I64, F64 extern declarations * Apply suggestions from code review Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io> * Update definition of Char * Update README.md * Format std::prim * Bikeshed prim names * append is more useful than prepend --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
10 lines
240 B
Text
10 lines
240 B
Text
use "./char.pol"
|
|
|
|
/// An opaque Unicode string.
|
|
extern String: Type
|
|
|
|
/// Concatenation of two strings.
|
|
extern concat(x y: String): String
|
|
|
|
/// Appending a single unicode character to a string.
|
|
extern append_char(c: Char, s: String): String
|